MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Timed Coordination Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

On Timed Coordination Languages
by J. -m. Jacquet, K. De Bosschere, A. Brogi — 2000 — Fourth International Conference on Coordination Models and Languages, LNCS 1906
…On Timed Coordination Languages J.-M. Jacquet 1 , K. De Bosschere 2 and A. Brogi 3 1…
Cited by 7 (0 self) – Add To MetaCart

Separating Functionality, Behavior and Timing in the Design of Reactive Systems: Gamma Coordination
by Mohammad Reza Mousavi, Twan Basten, Michel Reniers, Michel Chaudron, Giovanni Russello
… is represented by a (timed) coordination language specifying the order of functionalities, parallelism…
Cited by 5 (3 self) – Add To MetaCart

Evolving and Using Coordinated Systems
by M. Wermelinger, G. Koutsoukos, J.L. Fiadeiro, L. Andrade, J. Gouveia — 2002
…. The separation of coordination from computation has been advocated for a long time in the Coordination Languages…
Cited by 2 (2 self) – Add To MetaCart

Support for Business-Driven Evolution with Coordination Technologies
by L. Andrade, J. L. Fiadeiro, J. Gouveia, G. Koutsoukos, M. Wermelinger — 2001 — Intl. Workshop on Principles of Software Evolution
… computations. This separation of concerns has been advocated for a long time in the Coordination Languages [7…
Cited by 2 (1 self) – Add To MetaCart

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems ∗
by Mohammadreza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
…- GAMMA which serves as a model for timed functionality. Section 4 presents our coordination language…
Cited by 1 (0 self) – Add To MetaCart

Separation of Concerns in the Formal Design of
by Real-Time Shared Data-Space, Mohammadreza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
… model for timed functionality. Section 4 presents our coordination language for ordering the behavior…
Add To MetaCart

Towards a Calculus for Generative Communication
by P. Ciancarini, R. Gorrieri, G. Zavattaro — 1996
… communication, and it was introduced for the first time in the coordination language Linda (Gelernter, 1985…
Cited by 11 (4 self) – Add To MetaCart

Architecture Based Evolution of Software Systems
by L. F. Andrade, J. L. Fiadeiro — 2003 — in M.Bernardo & P.Inverardi (eds), Formal Methods for Software Architectures, LNCS 2804
… that gathers around "Coordination Languages and Models" [16]. Mechanisms through which systems can…
Cited by 6 (4 self) – Add To MetaCart

Separation of Core Concerns: Computation, Coordination, and Configuration
by M. Wermelinger, J.L. Fiadeiro, L. Andrade, G. Koutsoukos, J. Gouveia — 2001 — In Proceedings of OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems Tampa
…. The separation of coordination from computation has been advocated for a long time in the Coordination Languages…
Cited by 1 (0 self) – Add To MetaCart

Separation of Core Concerns: Computation, Coordination,
by And Configuration Wermelinger, M. Wermelinger, J. L. Fiadeiro, L. Andrade, G. Koutsoukos, J. Gouveia — 2001 — In Proceedings of OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems Tampa
…. The separation of coordination from computation has been advocated for a long time in the Coordination Languages…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB