Topology in process calculus - approximate correctness and infinite evolution of concurrent programs.

Publisher:
Springer
Publication Type:
Book
Citation:
2001
Issue Date:
2001
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004715OK.pdf2.01 MB
Adobe PDF
Please use this identifier to cite or link to this item: