𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modular reasoning about concurrent higher-order imperative programs

✍ Scribed by Birkedal, Lars

Book ID
124080568
Publisher
Association for Computing Machinery
Year
2014
Weight
273 KB
Volume
49
Category
Article
ISSN
0362-1340

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Higher-order communications for concurre
Higher-order communications for concurrent programming
✍ Alberto Pettorossi; Andrzej Skowron πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 359 KB

In a recursive-equations language is introduced. Its operational semantics is specified by means of computing agents which communicate and exchange messages. Those communications are, so to speak, zero-order, in the sense that the exchanged messages are values of a data structure, possibly defined