


Остановите войну!
for scientists:


default search action
13th FOCLASA 2014: Rome, Italy
- Javier Cámara, José Proença
:
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 - Marco Autili
, Massimo Tivoli
:
Distributed Enforcement of Service Choreographies. 18-35 - Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
:
On Distributed Density in Tuple-based Coordination Languages. 36-53 - Ian Cassar, Adrian Francalanza
:
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems. 54-68 - Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
:
Verifying the correct composition of distributed components: Formalisation and Tool. 69-85

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.