A denotational Semantics for Timed Linda

F.S. de Boer; M. Gabbrielli; M.C. Meo

doi:10.1145/773184.773188

A denotational Semantics for Timed Linda

F.S. de Boer, M. Gabbrielli, M.C. Meo

Dept of Information and Computing Sciences

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In [5] we introduced a Timed Linda language (T-Linda) whic hwas obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotational model for T-Linda which is based on timed reactive sequences. The correctness of this model is proved w.r.t a notion of observ ables which include finite traces of actions and input/output pairs.

Original language	English
Title of host publication	PPDP '01 Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Pages	28 - 36
DOIs	https://doi.org/10.1145/773184.773188
Publication status	Published - 5 Sept 2001

Bibliographical note

PPDP '01 Principles and Practice of Declarative Programming
Florence, Italy — September 05 - 07, 2001

Access to Document

10.1145/773184.773188

boerFinal published version, 214 KB

Cite this

@inproceedings{0fb3da305ad84e1ead84fecb25497299,

title = "A denotational Semantics for Timed Linda",

abstract = "In [5] we introduced a Timed Linda language (T-Linda) whic hwas obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotational model for T-Linda which is based on timed reactive sequences. The correctness of this model is proved w.r.t a notion of observ ables which include finite traces of actions and input/output pairs.",

author = "{de Boer}, F.S. and M. Gabbrielli and M.C. Meo",

note = "PPDP '01 Principles and Practice of Declarative Programming Florence, Italy — September 05 - 07, 2001 ",

year = "2001",

month = sep,

day = "5",

doi = "10.1145/773184.773188",

language = "English",

isbn = "1-58113-388-X ",

pages = "28 -- 36 ",

booktitle = "PPDP '01 Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming",

}

TY - GEN

T1 - A denotational Semantics for Timed Linda

AU - de Boer, F.S.

AU - Gabbrielli, M.

AU - Meo, M.C.

N1 - PPDP '01 Principles and Practice of Declarative Programming Florence, Italy — September 05 - 07, 2001

PY - 2001/9/5

Y1 - 2001/9/5

N2 - In [5] we introduced a Timed Linda language (T-Linda) whic hwas obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotational model for T-Linda which is based on timed reactive sequences. The correctness of this model is proved w.r.t a notion of observ ables which include finite traces of actions and input/output pairs.

AB - In [5] we introduced a Timed Linda language (T-Linda) whic hwas obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotational model for T-Linda which is based on timed reactive sequences. The correctness of this model is proved w.r.t a notion of observ ables which include finite traces of actions and input/output pairs.

U2 - 10.1145/773184.773188

DO - 10.1145/773184.773188

M3 - Conference contribution

SN - 1-58113-388-X

SP - 28

EP - 36

BT - PPDP '01 Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

ER -

A denotational Semantics for Timed Linda

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this