H Barringer and D Gabbay. Executing temporal logic: Review and prospects. In Proceedings of Concurrency 88, 1988. Extended Abstract. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Survey of Concurrent METATEM - The Language and its Applications - Fisher (1994) (58 citations) (Correct)
....Concurrent METATEM. In this system, each object executes in step and messages sent from any object reach all other objects by the start of the next step. This simplification removes the need for synchronisation using environment predicates, but also reduces the flexibility of the approach (see [5] for an outline of this approach) 3.5 Groups Finally, objects are also members of groups. Each object may be a member of several groups. When an object sends a message, that message is, by default, broadcast to all the members of its group(s) but to no other objects. Alternatively an object can ....
H. Barringer and D. Gabbay. Executing temporal logic: Review and prospects (Extended Abstract). In Proceedings of Concurrency '88, 1988.
MetateM in Intensive Care - Reynolds (1997) (Correct)
No context found.
H Barringer and D Gabbay. Executing temporal logic: Review and prospects. In Proceedings of Concurrency 88, 1988. Extended Abstract.
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