Peter Michael Sewell  Home/Search
Context Related
| cl.cam.ac.uk/users...hesischarter.ps.gz cl.cam.ac.uk/~pes2...hesischarter.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/pes20/ (more) From: cl.cam.ac.uk/~pes20/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis is concerned with the algebraic theory of finite state processes. The processes we focus on are those given by a signature with prefix, summation and recursion, considered modulo strong bisimulation. We investigate their equational and implicational theories. We first consider the existence of finite equational axiomatisations. In order to express an interesting class of equational axioms we embed the processes into a simply typed lambda calculus, allowing equation schemes with... (Update)
Context of citations to this paper: More
.... free calculi, to develop a theory of equality of open terms (or process contexts) Progress in this direction has been made by Sewell [Sew95], using techniques (seemingly) related to ours. We have compared the weak delay versions of context bisimulation, normal bisimulation...
Cited by: More
Bisimulation for Higher-Order Process Calculi - Sangiorgi (1996) (Correct)
Similar documents (at the sentence level):
71.6%: The Algebra of - Finite State Processes (Correct)
Active bibliography (related documents): More All
0.4: Dynamic Logic - Harel, Kozen, Tiuryn (1984) (Correct)
0.3: Bisimulation is not Finitely (First Order) Equationally.. - Peter Sewell Lfcs (Correct)
0.2: Axiomatizing Prefix Iteration with Silent Steps - Aceto, van Glabbeek.. (1995) (Correct)
Similar documents based on text: More All
0.1: An Intuitionistic Axiomatisation of Real Closed Fields - Palmgren (2001) (Correct)
0.1: Spikes, Synchrony, Sequences and - David Sterratt Doctor (Correct)
0.1: Process Algebra with Recursive Operations - Bergstra, Fokkink, Ponse (Correct)
BibTeX entry: (Update)
P.M. Sewell. The Algebra of Finite State Processes. PhD thesis CST--118-95, Department of Computer Science, University of Edinburgh, 1995. http://citeseer.ist.psu.edu/sewell95algebra.html More
@misc{ sewell95algebra,
author = "P. Sewell",
title = "The Algebra of Finite State Processes",
text = "P.M. Sewell. The Algebra of Finite State Processes. PhD thesis CST--118-95,
Department of Computer Science, University of Edinburgh, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/sewell95algebra.html" }
Citations (may not include all citations):266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
134 Unification Theory - Baader, Siekmann et al. - 1993
84 A domain equation for bisimulation (context) - Abramsky - 1991
79 Simple consequence relations - Avron - 1991
64 Turning SOS rules into equations - Aceto, Bloom et al. - 1992
43 the consistency of Koomen's fair abstraction rule (context) - Baeten, Bergstra et al. - 1987
27 decidability and axiomatisability for bisimulation equivalen.. (context) - Christensen, Hirshfeld et al.
24 deadlock and divergence (context) - Aceto, Hennessy - 1988
19 Process algebra with iteration - Bergstra, Bethke et al. - 1994
18 Iteration Theories: The Equational Logic of Iterative Proces.. (context) - Bloom, Esik - 1993
18 Realization of events by logical nets (context) - Copi, Elgot et al. - 1958
14 A complete inference system for regular processes with silen.. (context) - Bergstra, Klop - 1984
10 Equational axioms for regular sets (context) - Bloom, Esik - 1993
9 A complete equational axiomatization for prefix iteration wi.. - Aceto, Ingolfsdottir - 1995
8 Unification in commutative idempotent monoids (context) - Baader, Buttner - 1988
6 Implicational axioms for the algebra of regular languages (context) - Arkhangelskii, Gorshkov - 1987
5 volume 14 of CSLI Lecture Notes (context) - Aczel - 1988
3 Une remarque sur les systemes complets d'identites rationell.. (context) - Boffa - 1990
3 Iteration algebras of finite state process behaviors (context) - Bloom, Esik - 1994
Documents on the same site (http://www.cl.cam.ac.uk/users/pes20/): More
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (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