A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic

DOI10.1007/S001650050008zbMath0914.03037OpenAlexW2049209256MaRDI QIDQ1272763

Guy Perrier, Philippe de Groote

Publication date: 24 February 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050008

zbMATH Keywords

synchronous communicationtranslation of CCS into linear logic

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) General topics in the theory of software (68N01)

This page was built for publication: A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic