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

DOI10.1016/0020-0190(90)90092-CzbMATH Open0695.68048OpenAlexW2102465510MaRDI QIDQ910234FDOQ910234

Authors: H. 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

Recommendations

• A calculus of mobile processes. I
• scientific article; zbMATH DE number 177812
• scientific article; zbMATH DE number 1173679
• Functions as processes
• Concurrent calculus (CC) and its properties

zbMATH Keywords

concurrencyprocess algebraprocess calculi\(\lambda \) -calculusself application

Mathematics Subject Classification ID

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

Cites Work

• A calculus of communicating systems

Cited In (3)

• A new proposal of concurrent process calculus
• Declarative programming with algebra
• An Essay in λ‐Calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910234)