V. Vasconcelos and M. Tokoro. Trace Semantics for Actor Systems. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Proc. of the ECOOP'91 Workshop Object-Based Concurrent Computing, pages 141--162. Springer-Verlag, LNCS 612, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying For Reuse: foundations of object-oriented system.. - Fiadeiro, Maibaum (1993) (15 citations) (Correct)
....of object oriented system verification. OBCC 91] provides a useful perspective of current trends in this direction. Most approaches are based on some form of process calculi (e.g. Nierstrasz 91] based on CCS and the p calculus) Other approaches rely on trace semantics and actor systems [Vasconcelos and Tokoro 91] The work around the languages POOL [America 89] and FOOPS [Goguen and Meseguer 87] must be singled out as being part of long term programmes of research around specific object oriented languages. Verification in POOL [Boer 90] is based on Hoare style proof system techniques as well as notions ....
V.Vasconcelos and M.Tokoro, "Trace Semantics for Actor Systems", in [OBCC 91], 141-162 20 J.Fiadeiro and T.Maibaum
Semantic-Based Visualization for Parallel.. - Attali, Caromel.. (1996) (1 citation) (Correct)
....for real time ob ject oriented computing based on ccs. For these dioeerent approaches, sound type sys tems were developed [4, 49, 65, 35] and formal semantics have been described in dioeerent frame works (denotational [6] operational [5, 48, 3, 19] based on the calculus [67] or traces [64]) Based on a formal model or not, several concur rent object oriented programming languages have been designed, such as ConcurrentSmalltalk [72] Distributed Smalltalk [11] Hybrid [45] Pool [4] ABCL [68] Eioeel [16] DROL [63] and more re cently Java [26] Program visualization is an ....
V. Vasconcelos and M. Tokoro. Traces seman tics for actor systems. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Com puting, LNCS 612, pages 141162, 1992.
Sheaf and Trace Models of Concurrency - Wolfram (1993) (Correct)
....the set X are omitted from it. The life cycles of S k T can then be defined as the set of all life cycles l such that each situation in a life cycle of l is either in S or T , and ld S is a life cycle of S, and ld T is a life cycle of T . There is a similar treatment of this law for actor systems [21], and also one using category theory [6] It is similar to a special case for CSP [14] where traces rather than life cycles, and events in general rather than situations are used 1 . When the events of S and T are completely distinct, the traces of S k T are all of the interleavings of the ....
V. Vasconcelos and M. Tokoro, Trace semantics for actor systems, in: M. Tokoro and O. Nierstrasz and P. Wegner, (Eds.) [20], 141--162.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
V. Vasconcelos and M. Tokoro. Trace Semantics for Actor Systems. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Proc. of the ECOOP'91 Workshop Object-Based Concurrent Computing, pages 141--162. Springer-Verlag, LNCS 612, 1992.
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