A Theory of Noninterference for the π-Calculus release_xlrmht6cqrfd7hzxvevhx3zzgu

by Silvia Crafa, Sabina Rossi

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2005   p2-18

Archived Files and Locations

application/pdf  443.6 kB
file_r3isf3obrnaw5f67hxgo2tancu
web.archive.org (webarchive)
www.unive.it (web)
application/pdf  156.9 kB
file_jrjrqbw5ubhzbfgbbhhjnvpsfm
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.dais.unive.it (web)
www.dsi.unive.it (web)
+ 3 more URLs
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2005
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 98b0a57b-b41a-4ac2-b4c2-61108687e8a5
API URL: JSON