A Timed Linda Language and its Denotational Semantics

Article type: Research Article

Authors: de Boer, Frank S. | Gabbrielli, Maurizio | Meo, Maria C.

Affiliations: CWI, Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands | Università di Bologna Dipartimento di Scienze dell'Informazione Mura A. Zamboni 7, 40127 Bologna, Italy | Università di Chieti-Pescara Dipartimento di Scienze, Viale Pindaro 42 65127 Pescara, Italy

Abstract: We introduce a Timed Linda language (T-Linda) which is obtained by a natural timed interpretation of the usual constructs of the Linda model and by adding a simple primitive which allows one to specify time-outs. Parallel execution of processes follows the scheduling policy of interleaving, however maximal parallelism is assumed for actions depending on time. We first define the operational semantics of T-Linda by means of a transition system, then we define a denotational model which is based on timed reactive sequences. The correctness of this model is proved w.r.t. a notion of observables which includes finite traces of actions and input/output pairs.

Journal: Fundamenta Informaticae, vol. 63, no. 4, pp. 309-330, 2004