Vasco Vasconcelos, Mario Tokoro  Home/Search
Context Related
| di.fc.ul.pt/~vv/pa...acesecoop91.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.fc.ul.pt/~vv/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The theory of traces is used to describe the behavior of actor systems. The semantics is built from two simple concepts: a set of events representing the reception of messages by objects, and a binary symmetric and irreflexive relation on events---independence---representing permissible concurrency. Causality, the dual notion of concurrency, is expressed by the dependence relation---the complement of independence. A particular execution of a system is described by a trace: a labeled... (Update)
Context of citations to this paper: More
...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...
.... 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...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Verifying For Reuse: foundations of object-oriented system.. - Fiadeiro, Maibaum (1993) (Correct)
Semantic-Based Visualization for Parallel.. - Attali, Caromel.. (1996) (Correct)
Similar documents (at the sentence level):
25.6%: Trace Semantics for Concurrent Objects - Vasconcelos (1992) (Correct)
Active bibliography (related documents): More All
0.2: Some Undecidability Results related to the Star Problem in Trace.. - Kirsten (1998) (Correct)
0.2: Towards a Sheaf Semantics for Cooperating Agents Scenarios - Sofronie (Correct)
0.1: Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (Correct)
Similar documents based on text: More All
0.5: A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
0.5: A Multiversion Concurrent Object Model for Distributed.. - Hirotsu, Fujii, Tokoro (Correct)
0.5: Towards a Responsive Network Protocol - Shionozaki, Tokoro (1992) (Correct)
Related documents from co-citation: More All
3: Towards an object calculus - Nierstrasz - 1991
3: Communicating Sequential Processes (context) - Hoare - 1985
3: A sheaf semantics for FOOPS expressions (context) - Wolfram, Goguen - 1991
BibTeX entry: (Update)
V. Vasconcelos and M. Tokoro, Trace semantics for actor systems, in: M. Tokoro and O. Nierstrasz and P. Wegner, (Eds.) [20], 141--162. http://citeseer.ist.psu.edu/596041.html More
@inproceedings{ vasconcelos92traces,
author = "Vasco Vasconcelos and Mario Tokoro",
title = "Traces Semantics for Actor Systems",
booktitle = "Proceedings of the {ECOOP}'91 Workshop on Object-Based Concurrent Computing",
volume = "612",
publisher = "Springer-Verlag",
editor = "Mario Tokoro and Oscar Nierstrasz and Peter Wegner",
pages = "141--162",
year = "1992",
url = "citeseer.ist.psu.edu/596041.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
673 Actors: A model of concurrent computation in distributed sys.. (context) - Agha - 1986
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
139 An introduction to event structures (context) - Winskel - 1988
131 Modeling concurrency with partial orders (context) - Pratt - 1986
92 Concurrent program schemes and their interpretation (context) - Mazurkiewicz - 1977
86 Basic notions of trace theory (context) - Mazurkiewicz - 1988
48 A logical theory of concurrent objects (context) - Meseguer - 1990
20 Foundations of actor semantics (context) - Clinger - 1981
19 Non-sequential processes (context) - Petri - 1977
17 Laws for communicating parallel processes (context) - Hewitt, Baker - 1977
10 Theoretical Computer Science (context) - Aalbersg, Rozenberg et al. - 1988
7 Three equivalent semantics for CCS (context) - Boudol, Castellani - 1990
6 Hoare Series Editor (context) - Milner, concurrency - 1989
4 Volume 454 of Lecture Notes in Computer Science (context) - Diekert, traces - 1990
1 To appear as a technical report (context) - Vasconcelos, for et al. - 1992
Documents on the same site (http://www.di.fc.ul.pt/~vv/publications.html): More
A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
Typed Concurrent Objects - Vasconcelos (1994) (Correct)
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