๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Higher-order communications for concurrent programming

โœ Scribed by Alberto Pettorossi; Andrzej Skowron

Book ID
104304484
Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
359 KB
Volume
1
Category
Article
ISSN
0167-8191

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 by the programmer.

In this paper we extend that approach and we consider also 'higher-order' communications by allowing the exchange of agents behaviours, i.e. sets of computations, among computing agents. This extension leads to a new programming methodology which makes use of proofs of computing agents behaviours and their related strategies.

๐Ÿ“œ SIMILAR VOLUMES

Termination in higher-order concurrent c
Termination in higher-order concurrent calculi
โœ Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 885 KB
Mobile communications higher-order-mode
Mobile communications higher-order-mode microstrip antennas for road vehicle communications
โœ Yasuhiro Kazama; Nagayoshi Morita; Shinobu Tokumaru ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 148 KB

## Abstract Car antennas for road vehicle communications systems should be able to receive constantly the signals of beacon antennas at positions from just below the beacon antenna to a great distance along the road. In this paper, we restrict the discussion to the case of microstrip antennas and i