Ugo Montanari, Carolyn Talcott  Home/Search
Context
Related
| cl.cam.ac.uk/~amp1...ntanaritalcott.ps 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: cl.cam.ac.uk/~amp12/hoo...default (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The syntax and semantics of actors and -agents is first defined separately, using a uniform, "unbiased" approach. New coordination primitives are the added to the union of the two calculi which allow actors and -agents to cooperate. (Update)
Similar documents (at the sentence level):
65.9%: Can Actors and π-Agents Live Together? - Montanari, Talcott (1998) (Correct)
Active bibliography (related documents): More All
0.3: Graph Rewriting, Constraint Solving and Tiles for.. - Montanari, Rossi (Correct)
0.2: Composable Semantic Models for Actor Theories - Talcott (1998) (Correct)
0.2: Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
Similar documents based on text: More All
0.3: Executable Tile Specifications for Process Calculi - Bruni, Meseguer, Montanari (1999) (Correct)
0.3: Unknown - (Correct)
0.3: Constraint Solving and Programming: What Next? - Montanari, Rossi (1991) (Correct)
BibTeX entry: (Update)
@misc{ montanari-can,
author = "Ugo Montanari and Carolyn Talcott",
title = "Can Actors and π-Agents Live Together?",
url = "citeseer.ist.psu.edu/666067.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992
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
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1992
254 Theoretical Computer Science (context) - Boudol, Castellani et al. - 1993
200 Viewing Control Structures as Patterns of Passing Messages (context) - Hewitt - 1977
107 A Foundation for Actor Computation - Agha, Mason et al. - 1997
91 Rewriting Logic as a Semantic Framework for Concurrency: A P.. - Meseguer - 1996
66 Compositionality Through an Operational Semantics of Context.. (context) - Larsen, Xinxin - 1990
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
47 On Bisimulations for the Asynchronous -calculus - Amadio, Castellani et al. - 1996
34 Interaction semantics for components of distributed systems (context) - Talcott - 1997
33 Categorical Presentation of Term Graph Rewriting - Corradini, Gadducci - 1997
32 Abstracting interaction patterns: A programming paradigm for.. - Agha - 1997
27 the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
23 Composable semantic models for actor theories - Talcott - 1997
22 An Actor Rewriting Theory - Talcott - 1996
21 Laws for communicating parallel processes (context) - Baker, Hewitt - 1977
20 Term Graph Reduction (context) - Barendregt, van Eekelrn et al. - 1987
17 Graph Rewriting and Constraint Solving for Modelling Distrib.. - Montanari, Rossi - 1996
14 Rewriting Rules and CCS (context) - Gadducci, Montanari - 1996
10 Cat'egories Structur'ees: I and II (context) - Ehresmann - 1963
10 Coordination Languages and Models (context) - Garlan, Le M'etayer - 1997
9 MIT Artificial Intelligence Laboratory AI-TR (context) - Clinger, Actor et al. - 1981
2 Concurent Object Oriented Programming (context) - Agha - 1990
2 A Tile-Based Coordination View of Pi-Calculus (context) - Ferrari, Montanari - 1997
2 First International Workshop (context) - Meseguer, Procs et al. - 1996
http://www.csl.sri.com/
http://www.elsevier.nl/locate/entcs/volume7.html
http://www.elsevier.nl/locate/entcs/volume7.html
Documents on the same site (http://www.cl.cam.ac.uk/~amp12/hoots/Stanford97/default.html):
Interpreting Big-Step Semantics in Small-Step Style - Schmidt (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