| Alternate document: Details The Update Calculus (Extended Abstract) (97) Joachim Parrow, Björn Victor |
Joachim Parrow, Björn Victor  Home/Search
Context Related
| docs.uu.se/~victor/tr/updfull.ps.gz docs.uu.se/~victor/tr/upd12pt.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: docs.uu.se/~victor/tr/upd (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the update calculus concurrent processes can perform update actions with side effects, and a scoping operator can be used to control the extent of the update. In this way it incorporates fundamental concepts both from imperative languages or concurrent constraints formalisms, and from functional formalisms such as the - and -calculi. Structurally it is similar to but simpler than the -calculus; it has only one binding operator and a symmetry between input and output. We define the... (Update)
Context of citations to this paper: More
...zz j u vw : P fv=wg Gamma P A similar effect is obtained by two monadic inputs in (z)uz : uz j P . Related work: Our earlier work [11] attacks some of these problems in a monadic calculus where only one object is transmitted in each interaction. The main result there, the...
.... zz j u vw : P fv=wg Gamma P A similar effect is obtained by two monadic inputs in (z)uz : uz j P Related work: Our earlier work [PV97] attacks some of these problems in a monadic calculus where only one object is transmitted in each interaction. The main result there, the...
Cited by: More
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (Correct)
Similar documents (at the sentence level):
74.2%: The Update Calculus (Extended Abstract) - Parrow, Victor (1997) (Correct)
28.4%: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1997) (Correct)
7.8%: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1998) (Correct)
Active bibliography (related documents): More All
0.3: Constraints as Processes - Victor, Parrow (1996) (Correct)
0.2: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.2: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Similar documents based on text: More All
0.1: The Tau-Laws of Fusion - Parrow, Victor (Correct)
0.1: Solos in Concert - Laneve, Victor (1999) (Correct)
0.1: The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, al. (1992) (Correct)
Related documents from co-citation: More All
10: The fusion calculus: Expressiveness and symmetry in mobile processes - Parrow, Victor - 1998
7: A proof-theoretical approach to communication (context) - Fu - 1997
7: Expressing Mobility (context) - Sangiorgi - 1993
BibTeX entry: (Update)
J. Parrow and B. Victor. The update calculus. In M. Johnson, ed, Proceedings of AMAST'97, volume 1349 of LNCS, pages 409--423. Springer, Dec. 1997. http://citeseer.ist.psu.edu/parrow97update.html More
@inproceedings{ parrow97update,
author = "Joachim Parrow and Bj{\"o}rn Victor",
title = "The Update Calculus",
booktitle = "Algebraic Methodology and Software Technology (Proceedings of {AMAST} '97)",
volume = "1349",
publisher = "Springer-Verlag",
address = "Sydney, Australia",
editor = "Michael Johnson",
pages = "409--423",
year = "1997",
url = "citeseer.ist.psu.edu/parrow97update.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
77 Distributed cooperation with action systems (context) - Back, Kurki-Suonio - 1988
65 volume 103 of Studies in Logic and the Foundations of Mathem.. (context) - Barendregt, Calculus et al. - 1984
49 Model checking mobile processes - Dam - 1993
49 A theory of bisimulation for the -calculus (context) - Sangiorgi - 1996
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1995
42 Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1995
41 A foundation for higher-order concurrent constraint programm.. - Smolka - 1994
21 The Mobility Workbench --- a tool for the -calculus (context) - Victor, Moller - 1994
15 Constraints as processes - Victor, Parrow - 1996
14 A proof theoretical approach to communication (context) - Fu - 1997
12 the proof method for bisimulation (context) - Sangiorgi - 1995
4 A partition refinement algorithm for the - calculus (context) - Pistore, Sangiorgi - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.docs.uu.se/~victor/tr/upd.html):
The Update Calculus (Extended Abstract) - Parrow, Victor (1997) (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