Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
|
|
sorted by
|
|
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.201-208, ⟨10.1007/978-3-662-43352-2_16⟩
Conference papers
hal-01287744v1
|
||
|
Structural Operational Semantics for Continuous State Probabilistic Processes11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.71-89, ⟨10.1007/978-3-642-32784-1_5⟩
Conference papers
hal-01539880v1
|
||
|
Open Transactions on Shared Memory17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.213-229, ⟨10.1007/978-3-319-19282-6_14⟩
Conference papers
hal-01774945v1
|