Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Proof, language, and interaction
Modelling Multi-agent Reactive Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Equational Properties of Mobile Ambients
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Multiclock Esterel: A Reactive Framework for Asynchronous Design
IPDPS '00 Proceedings of the 14th International Symposium on Parallel and Distributed Processing
| Hi-index | 0.00 |
We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems.Timed concurrent constraint (TCC) programs are extended with the primitives for defining and manipulating ambients that contain TCC programs. The extension is simple and conservative, in the sense that TCC programs are a subset of the new formalism - Mobile Timed Concurrent Constraints (MTCC).