book-chapter · 2011
Full Abstraction in a Subtyped pi-Calculus with Linear Types
71 citationsDOI: https://doi.org/10.1007/978-3-642-23217-6_19
Article
Article detail, metadata, authors, and available full-text links.
Paper reader
Loading paper...
Article detail, metadata, authors, and available full-text links.
Loading paper...