Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying real-time properties with metric temporal logic
Real-Time Systems
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Transition system specifications with negative premises
Theoretical Computer Science
A process algebra for timed systems
Information and Computation
Timing and causality in process algebra
Acta Informatica
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
A process algebra of communicating shared resources with dense time and priorities
Theoretical Computer Science
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
A model and proof system for asynchronous networks
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Linda-based applicative and imperative process algebras
Theoretical Computer Science
A timed concurrent constraint language
Information and Computation
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Modeling Coordination via Asynchronous Communication
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Selected Papers from Constraint Programming: Basics and Trends
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
On Blocks: Locality and Asynchronous Communication (Extended Abstract)
Proceedings of the REX Workshop on Sematics: Foundations and Applications
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
IBM Systems Journal
Timed environment for web agents
Web Intelligence and Agent Systems
Theoretical Computer Science
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Coordinating parallel mobile ambients to solve SAT problem in polynomial number of steps
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
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.