Olaf Burkart

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Olaf Burkart, Bernhard Steffen
Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. Theor. Comput. Sci. 221 (1-2) (1999)
Olaf Burkart
Queues as Processes. Electron. Notes Theor. Comput. Sci. 18 (1998)
Olaf Burkart, Bernhard Steffen
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP (1997)
Olaf Burkart
Model checking rationally restricted right closures of recognizable graphs. INFINITY (1997)
Olaf Burkart, Javier Esparza
More Infinite Results. Bull. EATCS 62 (1997)
Olaf Burkart, Yves-Marie Quemener
Model-checking of infinite graphs defined by graph grammars. INFINITY (1996)
Olaf Burkart, Javier Esparza
More infinite results. INFINITY (1996)
Olaf Burkart, Didier Caucal, Bernhard Steffen
Bisimulation Collapse and the Process Taxonomy. CONCUR (1996)
Olaf Burkart, Bernhard Steffen
Composition, Decomposition and Model Checking of Pushdown Processes. Nord. J. Comput. 2 (2) (1995)
Olaf Burkart, Didier Caucal, Bernhard Steffen
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. MFCS (1995)
Olaf Burkart, Bernhard Steffen
Pushdown Processes: Parallel Composition and Model Checking. CONCUR (1994)
Olaf Burkart, Bernhard Steffen
Model Checking for Context-Free Processes. CONCUR (1992)