Michele Boreale
2 published titles
A fully abstract semantics for causality in the [pi]-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Formal techniques for distributed systems : joint IFIP WG 6.1 international conferences, FMOODS 2013 and FORTE 2013, held as part of the 8th international federated conference on distributed computing
(Contributor)
1 edition
- ISBN: 9783642385919
- Springer
- 2013
- Details
