Filter your results
- 10
- 1
- 10
- 1
- 11
- 4
- 4
- 2
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 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
- 1
11 results
|
|
|
sorted by
|
|
|
Incremental Refinement of Goal Models with Contracts9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.35-50, ⟨10.1007/978-3-030-89247-0_3⟩
Conference papers
hal-04074529v1
|
||
|
|
A Choreography-Driven Approach to APIs: The OpenDXL Case Study22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers
hal-03274000v1
|
||
|
|
Towards Probabilistic Session-Type Monitoring23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩
Conference papers
hal-03387845v1
|
||
|
|
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers
hal-02365500v1
|
||
|
|
Automated Replication of Tuple Spaces via Static Analysis9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.18-34, ⟨10.1007/978-3-030-89247-0_2⟩
Conference papers
hal-04074522v1
|
||
|
|
On Bidirectional Runtime Enforcement41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers
hal-03740261v1
|
||
|
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers
hal-02890401v1
|
||
|
|
Choreographic Development of Message-Passing Applications22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩
Conference papers
hal-03273982v1
|
||
|
|
Choreography AutomataCOORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers
hal-03005377v1
|
||
|
|
AErlang: Empowering Erlang with Attribute-Based Communication19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.21-39, ⟨10.1007/978-3-319-59746-1_2⟩
Conference papers
hal-01657341v1
|
||
|
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-11533, 2019, Lecture Notes in Computer Science, 978-3-030-22396-0. ⟨10.1007/978-3-030-22397-7⟩
Books
hal-02365511v1
|