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

Publisher:
Springer
Publication Type:
Book
Citation:
2001
Issue Date:
2001-01
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: