Proof methodologies for behavioural equivalence in distributed pi-calculus


Ciaffaglione, Alberto, Hennessy, Matthew and Rathke, Julian (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus.

Download

Full text not available from this repository.

Item Type: Monograph (Technical Report)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266124
Date Deposited: 14 Jul 2008 03:52
Last Modified: 27 Mar 2014 20:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266124

Actions (login required)

View Item View Item