شماره ركورد
60291
عنوان
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018, Proceedings
اطلاعات نشر
Switzerland Springer
سال نشر
2018
شابك
9783319893662
زبان
انگليسي
موضوع
Deadlock-Free Session-Typed Processes , A Theory of Encodings and Expressiveness , monitorability
فايل ديجيتال
8173055
Link To Document