Filter your results
- 12
- 1
- 12
- 12
- 12
- 12
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Safe and Efficient Data Sharing for Message-Passing Concurrency16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.99-114, ⟨10.1007/978-3-662-43376-8_7⟩
Conference papers
hal-01290070v1
|
||
|
Multiparty Session Actors16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.131-146, ⟨10.1007/978-3-662-43376-8_9⟩
Conference papers
hal-01290073v1
|
||
|
Typing Liveness in Multiparty Communicating Systems16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.147-162, ⟨10.1007/978-3-662-43376-8_10⟩
Conference papers
hal-01290074v1
|
||
|
Affine Sessions16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.115-130, ⟨10.1007/978-3-662-43376-8_8⟩
Conference papers
hal-01290071v1
|
||
|
Verifiable Decisions in Autonomous Concurrent Systems16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43376-8_2⟩
Conference papers
hal-01290065v1
|
||
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers
hal-01290066v1
|
||
|
LINC: A Compact Yet Powerful Coordination EnvironmentCoordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, Jun 2014, Berlin, Germany. pp.83-98, ⟨10.1007/978-3-662-43376-8_6⟩
Conference papers
hal-01274824v1
|
||
|
A Calculus of Self-stabilising Computational Fields16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers
hal-01290075v1
|
||
|
Encoding Synchronous Interactions Using Labelled Petri Nets16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers
hal-01290063v1
|
||
|
The Stochastic Quality Calculus16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩
Conference papers
hal-01290076v1
|
||
|
Progress as Compositional Lock-Freedom16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.49-64, ⟨10.1007/978-3-662-43376-8_4⟩
Conference papers
hal-01290067v1
|
||
|
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.65-82, ⟨10.1007/978-3-662-43376-8_5⟩
Conference papers
hal-01290068v1
|