Philippa Gardner  Home/Search
Context Related
Links: ACM DBLP | cl.cam.ac.uk/users/pag2...journal.ps.gz doc.ic.ac.uk/~pg/papers...journal.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: cl.cam.ac.uk/users/pag20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Action calculi provide a framework for capturing many kinds of interactive behaviour by focussing on the primitive notion of names. We introduce a name-free account of action calculi, called the closed action calculi, and show that there is a strong correspondence between the original presentation and the name-free presentation. We also add free names plus natural axioms to the closed world, and show that the abstraction operator can be constructed as a derived operator. Our results show that... (Update)
Context of citations to this paper: More
...and discarded at will, the values, and those which cannot. Since action calculi are completely determined by the closed fragment [Gar95, Gar98], our type theories are as expressive as the corresponding action calculi. 3.1 First Order Theory Let us fix a signature K = P; K)...
...greatly clarify the status of action calculi as a framework. In particular, sharing graphs [1, 11] and Gardner s closed action calculi [8] should be addressed. We also have to develop the notion of polymorphic context alluded to in Section 6. Calculi already equipped with...
Cited by: More
Comparing Logics for Rewriting: Rewriting logic, action.. - Gadducci, Montanari (2002) (Correct)
Contexts and Embeddings for Closed Shallow Action Graphs - Cattani, Leifer, Milner (2000) (Correct)
Deriving Bisimulation Congruences for Reactive Systems - Leifer, Milner (2000) (Correct)
Active bibliography (related documents): More All
0.8: Graphical Presentations of Interactive Systems - Gardner (1999) (Correct)
0.7: Types and Models for Higher-Order Action Calculi - Gardner, Hasegawa (1997) (Correct)
0.6: Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (Correct)
Similar documents based on text: More All
0.2: From Action Calculi to Linear Logic - Barber, Gardner, Hasegawa, Plotkin (1998) (Correct)
0.0: Modeling Sharing and Recursion for Weak Reduction.. - Benaissa, Lescanne, Rose (1996) (Correct)
0.0: Process Structures - Honda (1997) (Correct)
Related documents from co-citation: More All
5: Calculi for interaction - Milner - 1996
4: The chemical abstract machine (context) - Berry, Boudol - 1990
3: A name-free account of action calculi (context) - Gardner - 1994
BibTeX entry: (Update)
Gardner, P. (1998), Closed action calculi, to appear in Theoret. Comput. Sci. http://citeseer.ist.psu.edu/gardner98closed.html More
@article{ gardner99closed,
author = "Philippa Gardner",
title = "Closed action calculi",
journal = "Theoretical Computer Science",
volume = "228",
number = "1--2",
pages = "77--103",
year = "1999",
url = "citeseer.ist.psu.edu/gardner98closed.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1997 ACM DBLP
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
89 Calculi for interaction - Milner - 1996 DBLP
47 Introduction to Combinators and Lambda-calculus (context) - Hindley, Seldin - 1986
26 Mathematical Proceedings of the Cambridge Philosophical Soci.. (context) - Joyal, Street et al. - 1996
18 INRIA Sofia-Antipolis (context) - Boudol, the et al. - 1992
15 or syntactic action structures (context) - Milner - 1993
14 University of Edinburgh (context) - Mifsud, PhD et al. - 1996
14 A name-free account of action calculi (context) - Gardner - 1995 DBLP
14 A name-free account of action calculi (context) - Gardner - 1994 DBLP
13 From action calculi to linear logic - Barber, Gardner et al. - 1997 ACM DBLP
9 Elementary control structures (context) - Power - 1996 ACM DBLP
9 Categorical logic of names and abstraction in action calculi - Pavlovic - 1997 ACM DBLP
8 Types and models for higher-order action calculi - Gardner, Hasegawa - 1997 ACM DBLP
5 A Categorical Semantics of Let and Letrec (context) - Hasegawa, Sharing - 1997
5 Higher-order action calculi (context) - Milner - 1994 ACM DBLP
4 Reflexive Action Calculi (context) - Milner - 1994
2 An algebraic presentation of term graphs via ps-monoidal cat.. (context) - Corradini, Gadducci - 1997
1 A mixed linear and non-linear logic; proofs (context) - Benton - 1995
1 A calculus for cryptgraphic protocols (context) - Abadi, Gordon - 1997
1 On asynshronous communication semantics (context) - Honda, Tokoro - 1992
1 Action calculi VIII: Contextual Action Calculi (context) - Gardner, Milner - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/users/pag20/): More
Equivalences between Logics and their Representing Type Theories - Gardner (1992) (Correct)
Graphical Presentations of Interactive Systems - Gardner (1999) (Correct)
Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (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