default search action
14th ICE 2021 [virtual]
- Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas:
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021. EPTCS 347, 2021 - Clément Aubert, Daniele Varacca:
Process, Systems and Tests: Three Layers in Concurrent Computation. 1-21 - Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes:
Towards Generalised Half-Duplex Systems. 22-37 - Bas van den Heuvel, Jorge A. Pérez:
Deadlock Freedom for Asynchronous and Cyclic Process Networks. 38-56 - Maurice Laveaux, Tim A. C. Willemse:
Decomposing Monolithic Processes in a Process Algebra with Multi-actions. 57-76 - Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. 77-95
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.