Read Operators and their Expressiveness in Process Algebras
Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Get full text
Journal Article
Robustness of a bisimulation-type faster-than preorder
Iltgen, Katrin, Vogler, Walter
Published in Electronic proceedings in theoretical computer science (17.11.2009)
Published in Electronic proceedings in theoretical computer science (17.11.2009)
Get full text
Journal Article
Fair testing and stubborn sets
Valmari, Antti, Vogler, Walter
Published in International journal on software tools for technology transfer (01.10.2018)
Published in International journal on software tools for technology transfer (01.10.2018)
Get full text
Journal Article
Fault-Free Refinements for Interface Automata
Schinko, Ayleen, Vogler, Walter
Published in 2018 18th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2018)
Published in 2018 18th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2018)
Get full text
Conference Proceeding
Nondeterministic Modal Interfaces
Bujtor, Ferenc, Fendrich, Sascha, Lüttgen, Gerald, Vogler, Walter
Published in Theoretical computer science (23.08.2016)
Published in Theoretical computer science (23.08.2016)
Get full text
Journal Article
Interface Automata for Shared Memory
Schinko, Ayleen, Vogler, Walter, Gareis, Johannes, Nguyen, N. Tri, Lüttgen, Gerald
Published in Acta informatica (01.10.2022)
Published in Acta informatica (01.10.2022)
Get full text
Journal Article
Recent advances in unfolding technique
Bonet, Blai, Haslum, Patrik, Khomenko, Victor, Thiébaux, Sylvie, Vogler, Walter
Published in Theoretical computer science (25.09.2014)
Published in Theoretical computer science (25.09.2014)
Get full text
Journal Article