Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.

Diego Latella Mieke Massink Erik P. de Vink

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
practical reasoning
state space
markov chain
description language