Asynchronous communication model based on linear logic
From MaRDI portal
Publication:1898813
DOI10.1007/BF01211602zbMath0835.68016MaRDI QIDQ1898813
Akinori Yonezawa, Naoki Kobayashi
Publication date: 25 September 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
Related Items
Proofs as computations in linear logic, Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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