Vasco Thudichum Vasconcelos  Home/Search
Context
Related
| di.fc.ul.pt/~vv/pa...asterthesis.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 (the theory of free partial commutative monoids) is used to describe the behavior of systems of concurrent objects. A composition operation on systems and a synchronization operation on behaviors are presented: they allow to derive the behavior of complex systems from the behavior of its components. To address fundamental issues of concurrent semantics for objects in general, we concentrate on a simple model where objects communicate via asynchronous message passing and are ... (Update)
Similar documents (at the sentence level):
13.9%: Trace Semantics for Actor Systems - Vasconcelos, Tokoro (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.3: Time and Asynchrony in Distributed Computing - Satoh (1996) (Correct)
0.3: A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
0.3: A Process-Calculus Approach to Typed Concurrent Objects - Vasco Thudichum (1994) (Correct)
BibTeX entry: (Update)
@misc{ vasconcelos-trace,
author = "Vasco Thudichum Vasconcelos",
title = "Trace Semantics for Concurrent Objects",
url = "citeseer.ist.psu.edu/article/vasconcelos92trace.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 - 1991
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
139 An introduction to event structures (context) - Winskel - 1988
131 Concurrent object oriented programming (context) - Agha - 1990
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
46 Concurrent programming using actors (context) - Agha, Hewitt - 1988
33 emes combinatoires de commutation et r (context) - Cartier, Foata - 1969
30 The structure and semantics of actor languages (context) - Agha - 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
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