Olaf Burkart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bisimulation collapse and the process taxonomy CONCUR '96: Concurrency Theory	2023-06-28	Paper
Model checking the full modal mu-calculus for infinite sequential processes Automata, Languages and Programming	2018-07-04	Paper
An elementary bisimulation decision procedure for arbitrary context-free processes Lecture Notes in Computer Science	2010-06-17	Paper
Verification on infinite structures.	2001-01-01	Paper
scientific article; zbMATH DE number 1860681 (Why is no real title available?)	2001-01-01	Paper
Model checking the full modal mu-calculus for infinite sequential processes Theoretical Computer Science	2000-01-12	Paper
scientific article; zbMATH DE number 1232239 (Why is no real title available?)	1999-01-03	Paper
scientific article; zbMATH DE number 1231556 (Why is no real title available?)	1998-12-20	Paper
scientific article; zbMATH DE number 1231559 (Why is no real title available?)	1998-12-20	Paper
Automatic verification of sequential infinite-state processes Lecture Notes in Computer Science	1998-01-26	Paper
scientific article; zbMATH DE number 1064110 (Why is no real title available?)	1997-11-20	Paper
scientific article; zbMATH DE number 794257 (Why is no real title available?)	1996-05-28	Paper

Research outcomes over time

This page was built for person: Olaf Burkart