Asynchronous communication model based on linear logic
From MaRDI portal
Publication:1898813
DOI10.1007/BF01211602zbMath0835.68016OpenAlexW2013535402MaRDI QIDQ1898813
Akinori Yonezawa, Naoki Kobayashi
Publication date: 25 September 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211602
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Proofs as computations in linear logic ⋮ Propositions as sessions
Uses Software
Cites Work
- Linear logic
- Computational interpretations of linear logic
- Calculi for synchrony and asynchrony
- A calculus of mobile processes. I
- Testing equivalences for processes
- A Theory of Communicating Sequential Processes
- A linear space algorithm for computing maximal common subsequences
- Generative communication in Linda
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item