Filter your results
- 4
- 4
- 4
- 4
- 2
- 3
- 3
- 1
- 1
- 3
- 1
- 3
- 3
- 4
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
On Sessions and Infinite Data18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.245-261, ⟨10.1007/978-3-319-39519-7_15⟩
Conference papers
hal-01631727v1
|
||
|
On the Logic of Generalised Metric Spaces13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers
hal-01446037v1
|
||
|
Towards a Gamified Approach for Enhancing VBE Preparedness for Establishing Virtual Collaborations17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.165-177, ⟨10.1007/978-3-319-45390-3_15⟩
Conference papers
hal-01614626v1
|