Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir  Home/Search
Context Related
Links: ACM DBLP | cwi.nl/~wan/WJFmore/2nested.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: cwi.nl/~wan/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . 2-nested simulation was introduced by Groote and Vaandrager [10] as the coarsest equivalence included in completed trace equivalence for which the tyft/tyxt format is a congruence format. In the linear time-branching time spectrum of van Glabbeek [8], 2-nested simulation is one of the few equivalences for which no finite equational axiomatization is presented. In this paper we prove that such an axiomatization does not exist for 2-nested simulation. Keywords: Concurrency, process algebra,... (Update)
Context of citations to this paper: More
.... 2 nested simulation [6] which is part of the linear time branching time spectrum, there does not exist a finite equational axiomatization [1]; not even in the case of a finite alphabet. Acknowledgement: Rob van Glabbeek is thanked for useful discussions and comments. 2...
Cited by: More
On the Axiomatizability of Ready Traces, - Ready Simulation And (Correct)
Similar documents (at the sentence level):
68.9%: 2-Nested Simulation is not Finitely Equationally Axiomatizable - Aceto, al. (2000) (Correct)
13.5%: Nested Semantics over Finite Trees are Equationally Hard - Aceto, Fokkink, van.. (2003) (Correct)
Active bibliography (related documents): More All
0.5: Some of My Favourite Results in Classic Process Algebra - Aceto (2003) (Correct)
0.4: Bisimilarity is not Finitely Based over BPA with Interrupt - Aceto, Fokkink.. (2004) (Correct)
0.3: Equational Theories of Tropical Semirings - Aceto, Esik, Ingolfsdottir (2001) (Correct)
Similar documents based on text: More All
2.7: A Cook's Tour of Equational Axiomatizations for Prefix.. - Aceto, Fokkink.. (1998) (Correct)
2.4: A Note on an Expressiveness Hierarchy for Multi-exit.. - Aceto, Fokkink.. (2002) (Correct)
2.3: The Max-Plus Algebra of the Natural Numbers has no .. - Aceto.. (1999) (Correct)
BibTeX entry: (Update)
L. Aceto, W.J. Fokkink, and A. Ingolfsdottir. 2-nested simulation is not finitely equationally axiomatizable. In A. Ferreira and H. Reichel, eds, Proceedings 18th Symposium on Theoretical Aspects of Computer Science (STACS'2001), Dresden, LNCS 2010, pp. 39--50. Springer-Verlag, 2001. http://citeseer.ist.psu.edu/article/aceto00nested.html More
@inproceedings{ aceto01nested,
author = "Luca Aceto and Wan Fokkink and Anna Ingttir",
title = "2-Nested Simulation Is Not Finitely Equationally Axiomatizable",
booktitle = "Symposium on Theoretical Aspects of Computer Science",
pages = "39-50",
year = "2001",
url = "citeseer.ist.psu.edu/article/aceto00nested.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
447 Prentice-Hall International (context) - Concurrency - 1989
204 of Lecture Notes in Computer Science (context) - of, Systems - 1980
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992 ACM DBLP
106 An algebraic definition of simulation between programs (context) - Milner - 1971 ACM DBLP
102 Formal verification of parallel programs (context) - Keller - 1976 ACM DBLP
97 Chapman and Hall (context) - Conway, Algebra et al. - 1971
81 The linear time -- branching time spectrum (context) - van Glabbeek
33 On defining relations for the algebra of regular events (context) - Redko - 1964
27 Fixed point semantics (context) - Bergstra, Klop - 1982
20 The importance of the left merge operator (context) - Moller - 1990
19 The equational theory of pomsets (context) - Gischer - 1988 ACM DBLP
9 A menagerie of non-finitely based process semantics over BPA.. - Aceto, Fokkink et al. - 1998
7 Nonaxiomatisability of equivalences over finite state proces.. (context) - Sewell - 1997 DBLP
6 An interactive proof tool for process algebras (context) - Lin - 1992 ACM DBLP
6 the two-variable fragment of the equational theory of the ma.. - Aceto, Esik et al. - 2000
3 Modal observation equivalence of processes - Mitchell, Carlisle - 1996
3 The max-plus algebra of the natural numbers has no finite eq.. - Aceto, Esik et al. - 1999 ACM
1 A new strategy for proving #--completeness with applications (context) - Groote
Documents on the same site (http://www.cwi.nl/~wan/): More
An Axiomatization for Regular Processes in Timed Branching.. - Fokkink (1998) (Correct)
On the Completeness of the Equations for the Kleene Star in.. - Fokkink (1996) (Correct)
Safety criteria for the vital processor interlocking at.. - Fokkink (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