![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
21st EXPRESS / 11th SOS 2014: Rome, Italy
- Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 - Johannes Åman Pohjola
, Joachim Parrow:
Priorities Without Priorities: Representing Preemption in Psi-Calculi. 2-15 - Kirstin Peters
, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus. 16-29 - Thomas Given-Wilson
:
On the Expressiveness of Intensional Communication. 30-46 - Christoph Wagner, Uwe Nestmann:
States in Process Calculi. 48-62 - Daniel Gebler, Simone Tini
:
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. 63-78 - Bartek Klin
, Beata Nachyla:
Distributive Laws and Decidable Properties of SOS Specifications. 79-93 - Simon J. Gay, Nils Gesbert, António Ravara
:
Session Types as Generic Process Types. 94-110 - Sonja Franke-Arnold
, Simon J. Gay, Ittoop Vergheese Puthoor:
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. 111-129
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.