- Michele Boreale and Rocco De Nicola. Testing equivalence for mobile
processes. Information and Computation, 120(2):279-303,
1 August 1995.
Abstract,
References,
and Citations.
- Michele Boreale and Rocco De Nicola. A symbolic semantics for the
pi-calculus. Information and Computation, 126(1):34-52,
10 April 1996.
Abstract
and References.
- Michele Boreale, Rocco De Nicola, and Rosario Pugliese. Basic observables for
processes. Information and Computation, 149(1):77-98,
25 February 1999.
Abstract
and References.
Shortcuts: