Introducing Fairness into Compositional Verification via Unidirectional Counters
Siirtola, A., Puhakka, A., Luttgen, G.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Conjunction on Processes: Full–Abstraction Via Ready–Tree Semantics
Lüttgen, Gerald, Vogler, Walter
Published in Foundations of Software Science and Computation Structures (2006)
Published in Foundations of Software Science and Computation Structures (2006)
Get full text
Book Chapter
Conference Proceeding
Bisimulation on Speed: A Unified Approach
Lüttgen, Gerald, Vogler, Walter
Published in Foundations of Software Science and Computational Structures (2005)
Published in Foundations of Software Science and Computational Structures (2005)
Get full text
Book Chapter
Conference Proceeding
Bisimulation on speed: Lower time bounds
Lüttgen, Gerald, Vogler, Walter
Published in Informatique théorique et applications (Imprimé) (01.07.2005)
Published in Informatique théorique et applications (Imprimé) (01.07.2005)
Get full text
Journal Article
Conference Proceeding
A process algebra with distributed priorities
Cleaveland, Ranee, Lüttgen, Gerald, Natarajan, V.
Published in Theoretical computer science (30.03.1998)
Published in Theoretical computer science (30.03.1998)
Get full text
Journal Article
Conference Proceeding