Axiomatizing Flat Iteration

Axiomatizing Flat Iteration (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by R. J. van Glabbeek

Citations:

4 - 0 self

BibTeX

@MISC{Glabbeek97axiomatizingflat,
    author = {R. J. van Glabbeek},
    title = {Axiomatizing Flat Iteration},
    year = {1997}
}

Bookmark

OpenURL

Abstract

Citations

448	Algebraic laws for nondeterminism and concurrency - Hennessy, Milner - 1985
318	Representation of events in nerve nets and finite automata - Kleene - 1956
82	Specification-oriented semantics for communicating processes - Olderog, Hoare - 1986
57	The algebra of recursively defined processes and the algebra of regular processes - Bergstra, Klop - 1984
53	A complete axiomatisation for observational congruence of finite-state behaviours - Milner - 1989
50	Process algebra with iteration and nesting - Bergstra, Bethke, et al. - 1994
36	On the consistency of Koomen’s fair abstraction rule - Baeten, Bergstra, et al. - 1987
33	Basic process algebra with iteration: completeness of its equational axioms - Fokkink, Zantema - 1994
28	Branching bisimilarity is an equivalence indeed - Basten
20	A complete equational axiomatization for prefix iteration - FOKKINK - 1994
18	Bisimulation is not finitely (first order) equationally axiomatisable - Sewell - 1994
15	Branching time and abstraction in bisimulation semantics - Glabbeek, Weijland - 1996
13	A complete equational axiomatization for MPA with string iteration. Theoret - ACETO, GROOTE - 1999
7	Fully abstract models for nondeterministic Kleene algebras (extended abstract - Corradini, Nicola, et al. - 1995
5	A complete axiomatization for prefix iteration in branching bisimulation - Fokkink - 1996
2	olfsd' ottir - Aceto, Fokkink, et al. - 1996
1	Branching bisimulation as a tool in the analysis of weak bisimulation. Available at ftp://boole.stanford.edu/pub/DVI/tool.dvi.gz - Glabbeek - 1995