Towards a theory of (self) applicative communicating processes: A short note

DOI10.1016/0020-0190(90)90092-CzbMath0695.68048OpenAlexW2102465510MaRDI QIDQ910234

H. J. M. Goeman

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90092-c

zbMATH Keywords

process algebraconcurrencyprocess calculi\(\lambda \) -calculusself application

Mathematics Subject Classification ID

Theory of operating systems (68N25) Combinatory logic and lambda calculus (03B40) Theory of computing (68Q99)

Related Items (1)

Declarative Programming with Algebra

Cites Work

• A calculus of communicating systems

This page was built for publication: Towards a theory of (self) applicative communicating processes: A short note