Jean-Marie Jacquet, Koenraad De Bosschere, and Antonio Brogi. On timed coordination languages. In Antonio Porto and Gruia-Catalin Roman, editors, Proceedings of Coordination Languages and Models, 4th International Conference, Limassol, Cyprus, volume 1906. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The SPACETUB Models and Framework - Tolksdorf, Rojec-Goldmann (2002) (Correct)
....and tuples. While BERLINDA tried to integrate Linda and other coordination approaches like KQML, SPACETUB aims exclusively at Linda like languages. We do not address any semanic issues with this work this is left to the respective formal comparisons of expressibilty of Linda like languages like [4, 7, 16]. 2.1 Design Our framework was inspired by MARS meta level tuples of the form (Rct, T, Op, I) which are used for the definition of reactions. Rct will be executed when an agent I invokes the operation Op with an argument that matches T. Another motivation were LAW GOVEPNED LINDA S rules for the ....
J.-M. Jacquet, K. D. Bosschere, and A. Brogi. On Timed Coordination Languages. In A. Porto and G.-C. Roman, editors, Proc. 4th lnt. Conf. on Coordination Models and LanguagesCoordination Models and Languages, volume 1906 of LNCS, pages 8198, 2000.
Congruence for SOS with Data - Mohammadreza Mousavi Michel (Correct)
No context found.
Jean-Marie Jacquet, Koenraad De Bosschere, and Antonio Brogi. On timed coordination languages. In Antonio Porto and Gruia-Catalin Roman, editors, Proceedings of Coordination Languages and Models, 4th International Conference, Limassol, Cyprus, volume 1906.
Separation of Concerns in the Formal Design of - Real-Time Shared Data-Space (Correct)
No context found.
J.-M. Jacquet, K. de Bosschere, and A. Brogi. On timed coordination languages. In A. Porto and G.- C. Roman, editors, Fourth International Conference on Coordination Models and Languages, LNCS 1906.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC