A. Sokolova, E.P. de Vink  Home/Search
Context
Related
| liacs.nl/~devink/research/...tue0202.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: liacs.nl/~devink/r...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Process behavior is often described in terms of structural operational semantics. For a wide class of such rules, viz. those adhering to the GSOS format or to the tagh-format, it is possible to obtain automatically a nite axiomatization that characterizes strong bisimulation. (Update)
Active bibliography (related documents): More All
0.5: Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (Correct)
0.5: Lattices of Two-Sided Ideals of Locally Matricial Algebras and.. - Ruzicka (Correct)
0.5: Term Rewrite Systems for Lattice Theory - Freese, Jezek, Nation (1993) (Correct)
Similar documents based on text: More All
0.5: Weak Bisimulation for Action-Type Coalgebras - Sokolova, de Vink, Woracek (Correct)
0.2: Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
0.2: Bisimulation for Probabilistic Transition Systems: A.. - de Vink, Rutten (1998) (Correct)
BibTeX entry: (Update)
@misc{ sokolova-algebraic,
author = "A. Sokolova and E.P. de Vink",
title = "Algebraic Representation of Bisimulation for the tagh-Format",
url = "citeseer.ist.psu.edu/607976.html" }
Citations (may not include all citations):447 Prentice Hall International (context) - Milner, Concurrency - 1989
32 the structure of abstract algebras (context) - Birkho - 1935
29 Theoretical Computer Science (context) - Ulidowski, systems et al. - 2000
16 Reidel Publishing Company (context) - Cohn, Algebra - 1980
8 Computer Science Department (context) - Plotkin, approach et al. - 1981
4 Journal of the ACM (context) - Huet, Reductions et al. - 1980
3 Embedding untimed into timed process algebra; the case for e.. (context) - Baeten - 2000
3 Weijland: Process Algebra (context) - Baeten - 1990
3 Information and Computation (context) - Fokkink, van Glabbeek et al. - 1996
2 BrookCole Advanced Book & Software (context) - McNulty, Varieties et al. - 1987
2 Free Groupoids in Varieties Determined By a Short Equation (context) - Jezek - 1982
2 Nordic Journal of Computing (context) - Verhoef, theorem et al. - 1995
1 amek Free Algebras and automata realisations in the language.. (context) - Ad - 1974
1 de Vink: Control Flow Semantics (context) - de Bakker - 1996
1 Meyer: Bisimulation can't be traced (context) - Bloom, Istrail - 1995
1 Vaandrager: Structured operational semantics and bisimulatio.. (context) - Groote - 1992
1 Algebra Universalis (context) - Burris, as et al. - 1980
1 Theoretical Computer Science (context) - De Simone, synchronizing et al. - 1985
1 de Vink: Axiomatizing GSOS with Termination (context) - Baeten - 2002
1 Vaandrager: Turning SOS Rules into Equations (context) - Aceto, Bloom - 1994
1 Verhoef: Structural Operational Semantics (context) - Aceto, Fokking - 2001
1 Sokolova: Free Basic Process Algebra (context) - Markovski - 1999
1 Sokolova: Free Steiner Loops (context) - Markovski - 2001
Documents on the same site (http://www.liacs.nl/~devink/research/publications.html): More
Comparative Metric Semantics for Commit in Or-Parallel .. - Todoran, den Hartog.. (1997) (Correct)
Axiomatizing GSOS with termination - Baeten, de Vink (Correct)
Verifying Probabilistic Programs Using A Hoare Like Logic - den Hartog, de Vink (2002) (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