Linearity and Bisimulation
- 15 March 2002
- book chapter
- Published by Springer Nature
- p. 417-433
- https://doi.org/10.1007/3-540-45931-6_29
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Sequentiality and the π-CalculusPublished by Springer Nature ,2001
- Full Abstraction for PCFInformation and Computation, 2000
- Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)Published by Springer Nature ,2000
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- Types and Subtypes for Client-Server InteractionsPublished by Springer Nature ,1999
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Nature ,1998
- The Compositional Security Checker: a tool for the verification of information flow security propertiesIEEE Transactions on Software Engineering, 1997
- Types for dyadic interactionPublished by Springer Nature ,1993
- Linear logicTheoretical Computer Science, 1987
- Certification of programs for secure information flowCommunications of the ACM, 1977