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

DOI10.1016/0020-0190(90)90092-CMaRDI QIDQ910234zbMATH OpenOpenAlexFDO

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

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)

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

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)