Filter your results
- 3
- 3
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.340-354, ⟨10.1007/978-3-642-15240-5_25⟩
Conference papers
hal-01054448v1
|
||
|
Behavioural Contracts with Request-Response Operations12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers
hal-01054626v1
|
||
|
Simulation and Analysis of Distributed Systems in Klaim12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.122-136, ⟨10.1007/978-3-642-13414-2_9⟩
Conference papers
hal-01054619v1
|