ANU Open Research Repository has been upgraded. We are still working on a few minor issues, which may result in short outages throughout the day. Please get in touch with repository.admin@anu.edu.au if you experience any issues.
 

A trace based bisimulation for the spi calculus

Date

2007

Authors

Tiu, Alwen

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/1885/39172

Collections

ANU Research Publications

Source

Programming Languges and Systems, 5th Asian Symposium APLAS 2007 Proceedings

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

DOI

Restricted until

2037-12-31

DSpace software copyright © 2002-2024 LYRASIS