Publications of A. Skowron

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Skowron A., in the category IASI Research Reports (or show them all):


IASI Research Report n. 94  (Previous    Next)


Alberto Pettorossi, Skowron A.

Higher order communications for concurrent programming.

ABSTRACT
In [Pes 83] 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, 0-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.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -