Thomas Frauenstein, Michael Baldamus, Rainer Glas  Home/Search
Context
Related
| goethe.ira.uka.de/~b...Congruence.ps.gz uebb.cs.tuberlin.de...TR9619tf.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: goethe.ira.uka.de/~balda...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Congruence proofs for bisimulation on higher-order process calculi tend to be significantly more complex than their counterparts in first-order process algebra frameworks. Moreover, a standard technique that allows us to cover strong forms of bisimulation on higher-order calculi seems to fail for the corresponding weak forms. Similar problems are posed by applicative simulation on -calculi and our starting point is a general and elegant technique for solving them that has been invented by Howe. ... (Update)
Similar documents (at the sentence level):
14.1%: Congruence Proofs for Weak Bisimulation Equivalences on.. - Baldamus, Frauenstein (1995) (Correct)
Active bibliography (related documents): More All
0.4: Modal Characterization of Weak Bisimulation for Higher-order .. - Baldamus, Dingel (1996) (Correct)
0.3: Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
0.3: Denotational Semantics for a Higher-Order Extension of the.. - Hartonas (Correct)
Similar documents based on text: More All
0.4: Design and Evaluation of Router-Supported and End-to-End.. - Clay, Ammar (1999) (Correct)
0.3: Modal Characterization of Weak Bisimulation for Higher-order .. - Baldamus, Dingel (1996) (Correct)
0.2: Communicating Functional Agents and their.. - Frauenstein.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ frauenstein-congruence,
author = "Thomas Frauenstein and Michael Baldamus and Rainer Glas",
title = "Congruence Proofs For Weak Bisimulation on Higher-order Processes: Results
for Typed omega-order Calculi",
url = "citeseer.ist.psu.edu/frauenstein96congruence.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
447 Prentice--Hall International (context) - Milner, Concurrency - 1989
382 Lambda calculi with types - Barendregt
248 Expressing Mobility (context) - Sangiorgi - 1993
179 The lazy lambda calculus - Abramsky
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
94 Equality in lazy computation systems - Howe - 1989
76 The polyadic -calculus: A tutorial - Milner
69 Handbook of Logic in Computer Science (context) - Abramsky, Gabbay et al. - 1991
62 A calculus of higher order communicating systems (context) - Thomsen - 1989
61 weak bisimulation up to (context) - Milner, Sangiorgi et al. - 1992
52 Towards a lambda--calculus for concurrent and communicating .. (context) - Boudol - 1989
45 A Theory of Weak Bisimulation for Core CML - Ferreira, Hennessy et al. - 1995
35 Plain CHOCS - A second generation calculus for higher order .. (context) - Thomsen - 1993
28 Research Topics in Functional Programming (context) - Turner - 1990
19 The linear time -- branching time spectrum II (context) - van Glabbeek - 1993
18 A calculus of mobile processes II (context) - Milner, Parrow et al. - 1992
10 Generalized bisimulation in relational specifications (context) - Astesiano, Giovini et al. - 1988
7 Proving congruence of simulation orderings in functional lan.. (context) - Howe - 1995
4 Bisimulation in higher-order calculi (context) - Sangiorgi - 1994
3 Congruence Proofs for Weak Bisimulation Equivalences on High.. - Baldamus, Frauenstein - 1995
2 Logic and Algebra of Specification (context) - Bauer, Brauer et al. - 1993
Documents on the same site (http://goethe.ira.uka.de/~baldamus/papers.html): More
A Non-well-founded Sets Semantics for Observation Congruence.. - Baldamus (1994) (Correct)
Adding Enrichments to Refined Interleavings: A New Model for the .. - Baldamus (1999) (Correct)
CCS without r's with Built-in Service Rendezvous - Baldamus (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