Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
Typing Progress in Communication-Centred Systems15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.236-250, ⟨10.1007/978-3-642-38493-6_17⟩
Conference papers
hal-01486030v1
|
||
|
A Calculus for Modeling Floating Authorizations38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.101-120, ⟨10.1007/978-3-319-92612-4_6⟩
Conference papers
hal-01824819v1
|