Walukiewicz, Igor
-
BRICS Report Series No. 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus - Articles
A Complete Deductive System for the mu-Calculus
Abstract PDF -
BRICS Report Series No. 54 (1996): RS-54 Pushdown Processes: Games and Model Checking - Articles
Pushdown Processes: Games and Model Checking
Abstract PDF -
BRICS Report Series No. 2 (2000): RS-2 Local Logics for Traces - Articles
Local Logics for Traces
Abstract PDF -
BRICS Report Series No. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems - Articles
Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
Abstract PDF -
BRICS Report Series No. 27 (1995): RS-27 Automata for the mu-calculus and Related Results - Articles
Automata for the mu-calculus and Related Results
Abstract PDF -
BRICS Report Series No. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Articles
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Abstract PDF