Filter your results
- 9
- 9
- 9
- 1
- 1
- 3
- 3
- 1
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Taming Hierarchical Connectors8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers
hal-03769113v1
|
||
|
On Synchronous and Asynchronous Compatibility of Communicating Components18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.138-156, ⟨10.1007/978-3-319-39519-7_9⟩
Conference papers
hal-01631726v1
|
||
|
Logics for Petri Nets with Propagating Failures8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.145-157, ⟨10.1007/978-3-030-31517-7_10⟩
Conference papers
hal-03769133v1
|
||
|
Team Automata@Work: On Safe Communication22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers
hal-03273992v1
|
||
|
Asymmetric Combination of Logics is Functorial: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers
hal-01767465v1
|
||
|
Adding Proof Calculi to Epistemic Logics with Structured Knowledge9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩
Conference papers
hal-04074528v1
|
||
|
Observational Semantics for Dynamic Logic with Binders23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers
hal-01767472v1
|
||
|
Role-Based Development of Dynamically Evolving Esembles24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers
hal-02364578v1
|
||
|
Communication Requirements for Team Automata19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers
hal-01657348v1
|