C. Montangero and L. Semini. Composing specifications for coordination. In P. Ciancarini and A. Wolf, editors, Proc. of Coordination'99, pages 118--133. Springer-Verlag, LNCS 1594, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Fundamentals of a Module Logic for Distributed Object Systems - Filipe (2000) (4 citations) (Correct)
....is di#erent. Moreover, CTR is an extension of first order logic which enables a clear description of state changes, but it is harder to use for expressing more general system properties and constraints. CTR has an interleaving semantics based on so called path structures. Oikos adtl presented in [MS99] is based on an asynchronous, distributed temporal logic extending Unity (see [CM88] to deal with components and events. The logic is similar to Dtl but relies on asynchronous communication via remote writings, and it di#ers from the more abstract asynchronous communication mechanism provided in ....
C. Montangero and L. Semini. Composing specifications for coordination. In P. Ciancarini and A. Wolf, editors, Proceedings of the Third International Conference on Coordination Models 28 and Languages (Coordination'99), volume 1594 of Lecture Notes in Computer Science, pages 118--133. Springer-Verlag, 1999.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
C. Montangero and L. Semini. Composing specifications for coordination. In P. Ciancarini and A. Wolf, editors, Proc. of Coordination'99, pages 118--133. Springer-Verlag, LNCS 1594, 1999.
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