Filter your results
- 13
- 13
- 13
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 13
- 3
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 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
13 results
|
|
|
sorted by
|
|
|
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
|
||
|
|
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
|
||
|
|
Rule-Based Form for Stream Constraints20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩
Conference papers
hal-01821489v1
|
||
|
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
|
Relating Process Languages for Security and Communication Correctness (Extended Abstract)38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers
hal-01824820v1
|
||
|
|
Reducing the Cost of Grammar-Based Testing Using Pattern CoverageICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers
hal-01470158v1
|
||
|
|
Session-Based Concurrency, Reactively37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers
hal-01566466v1
|
||
|
|
The Future of a Missed Deadline15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩
Conference papers
hal-01486026v1
|
||
|
|
Human-in-the-Loop Simulation of Cloud Services6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩
Conference papers
hal-01677612v1
|
||
|
|
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
|
||
|
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
|
Making History Relevant: The Case of ComputingInternational Conference on History of Computing (HC), Jun 2013, London, United Kingdom. pp.67-78, ⟨10.1007/978-3-642-41650-7_6⟩
Conference papers
hal-01455268v1
|
||
|
|
On Futures for Streaming Data in ABS37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.67-73, ⟨10.1007/978-3-319-60225-7_5⟩
Conference papers
hal-01658410v1
|