"On bisimulation and model-checking for concurrent systems with partial ..."

Julian Gutierrez (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics