Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th 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
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |