Towards a theory of bisimulation for local names.

Jeffrey, Alan and Rathke, Julian (1999) Towards a theory of bisimulation for local names. In: Unset, Proceedings of the 14th Annual Symposium on Logic in Computer Science Trento. IEEE Computer Society Press..

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 19:48
Last Modified: 13 Apr 2012 09:30
URI: http://sro.sussex.ac.uk/id/eprint/22271
📧 Request an update