Asynchronous communication model based on linear logic

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

zbMATH Keywords

phase semanticslinear logic programming

Mathematics Subject Classification ID

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 (3)

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Proofs as computations in linear logic ⋮ Propositions as sessions

Uses Software

• Linda
• ABCL

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

This page was built for publication: Asynchronous communication model based on linear logic