From Rewrite Rules to Bisimulation Congruences Peter Sewell May 29, 1998  Home/Search
Context
Related
| cl.cam.ac.uk/~pes2...labelslongcmr.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/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The dynamics of many calculi can be most clearly defined by a reduction semantics. To work with a calculus, however, an understanding of operational congruences is fundamental; these can often be given tractable definitions or characterisations using a labelled transition semantics. This paper considers calculi with arbitrary reduction semantics of three simple classes, firstly ground term rewriting, then left-linear term rewriting, and then a class which is essentially the action calculi... (Update)
Similar documents (at the sentence level):
70.1%: Unknown - (Correct)
28.3%: From Rewrite Rules to Bisimulation Congruences - Sewell (1999) (Correct)
27.5%: From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
Active bibliography (related documents): More All
0.2: Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
0.2: MGS: a Rule-Based Programming Language for Complex Objects.. - Giavitto, Michel (2001) (Correct)
0.2: Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Mellies (1998) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "unknown",
url = "citeseer.ist.psu.edu/762378.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
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1993
197 Barbed bisimulation - Milner, Sangiorgi - 1992
194 Functions as processes (context) - Milner - 1992
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
140 On reduction-based process semantics - Honda, Yoshida - 1995
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1995
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
94 Equality in lazy computation systems - Howe - 1989
89 Calculi for interaction - Milner - 1996
81 The linear time -- branching time spectrum (context) - van Glabbeek - 1990
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
50 A calculus of communicating systems with label-passing - Engberg, Nielsen - 1986
49 The tile model - Gadducci, Montanari - 1998
47 The reflexive CHAM and the join-calculus - Fournet, Gonthier - 1996
45 A theory of weak bisimulation for core CML - Ferreira, Hennessy et al. - 1996
42 Globallocal subtyping and capability inference distributed .. - Sewell, subtyping et al. - 1998
36 Higher-level synchronising devices in meije--SCCS (context) - de Simone - 1985
31 calculus in direct style (context) - Boudol - 1997
28 Mobile ambients (context) - Cardelli, Gordon - 1998
28 Constraints for free in concurrent computation - Niehren, Mueller - 1995
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997
25 A congruence theorem for structured operational semantics of.. - Bernstein - 1998
24 Bisimilarity for a first-order calculus of objects with subt.. - Gordon, Rees - 1996
22 the SECD-machine and the - calculus (context) - Felleisen, Friedman - 1986
14 University of Edinburgh (context) - Mifsud, PhD - 1996
11 The linear time -- branching time spectrum II; the semantics.. - van Glabbeek - 1993
5 Confluence and Normalisation for Higher-Order Rewriting (context) - van Raamsdonk - 1996
5 A new computational model and its discipline of programming (context) - Banatre, Le M'etayer - 1986
3 University of Cambridge (context) - Jensen, thesis - 1998
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (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