Compositional verification of concurrent systems by combining bisimulations.

Frédéric Lang Radu Mateescu Franco Mazzanti

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
model checking
petri net
transition systems
formal specification
combining multiple
information retrieval
object oriented
open source