A denotational Semantics for Timed Linda
Files
Publication date
2001-09-05
Authors
de Boer, F.S.
Gabbrielli, M.
Meo, M.C.
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
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.
Keywords
International
Citation
de Boer, F S, Gabbrielli, M & Meo, M C 2001, A denotational Semantics for Timed Linda. in PPDP '01 Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. pp. 28 - 36 . https://doi.org/10.1145/773184.773188