Stop the war!
Остановите войну!
for scientists:
default search action
28th EXPRESS / 18th SOS 2021: Paris, France [virtual]
- Ornela Dardha, Valentina Castiglioni:
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. EPTCS 339, 2021 - Jan Friso Groote:
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. 2-8 - Eric Alsmann, Florian Bruse, Martin Lange:
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. 10-26 - Benjamin Bisping, Luisa Montanari:
A Game Characterization for Contrasimilarity. 27-42 - Matteo Cimini, Benjamin Mourad:
Language Transformations in the Classroom. 43-58 - Manfred Schmidt-Schauß, David Sabel:
Minimal Translations from Synchronous Communication to Synchronizing Locks. 59-75 - Xian Xu, Wenbo Zhang:
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. 76-92
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.