Filter your results
- 14
- 1
- 14
- 1
- 15
- 15
- 15
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 results
|
|
|
sorted by
|
|
|
The Context of Coordinating Groups in Dynamic Mobile Networks13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.49-64, ⟨10.1007/978-3-642-21464-6_4⟩
Conference papers
hal-01582998v1
|
||
|
|
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers
hal-01582996v1
|
||
|
|
CSP as a Coordination Language13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩
Conference papers
hal-01582993v1
|
||
|
|
Session Typing for a Featherweight Erlang13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.95-109, ⟨10.1007/978-3-642-21464-6_7⟩
Conference papers
hal-01582995v1
|
||
|
|
Coordination Models and LanguagesSpringer, LNCS-6721, 2011, Lecture Notes in Computer Science, 978-3-642-21463-9. ⟨10.1007/978-3-642-21464-6⟩
Books
hal-01582987v1
|
||
|
|
Fair Subtyping for Multi-Party Session Types13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩
Conference papers
hal-00546531v2
|
||
|
|
An Efficient Management of Correlation Sets with Broadcast13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers
hal-01582988v1
|
||
|
|
Enabling Cross-Technology Mobile Applications with Network-Aware References13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.142-156, ⟨10.1007/978-3-642-21464-6_10⟩
Conference papers
hal-01582992v1
|
||
|
|
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers
hal-01582991v1
|
||
|
|
Coordination and Concurrency in Multi-engine Prolog13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.157-171, ⟨10.1007/978-3-642-21464-6_11⟩
Conference papers
hal-01582990v1
|
||
|
|
Fault in the Future13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers
hal-01582997v1
|
||
|
|
Revisiting Glue Expressiveness in Component-Based Systems13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers
hal-01582994v1
|
||
|
|
Simulation-Based Performance Analysis of Channel-Based Coordination Models13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers
hal-01582989v1
|
||
|
|
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.172-186, ⟨10.1007/978-3-642-21464-6_12⟩
Conference papers
hal-01583000v1
|
||
|
|
Safe Parallel Programming with Session Java13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.110-126, ⟨10.1007/978-3-642-21464-6_8⟩
Conference papers
hal-01582999v1
|