• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Compositional verification of concurrent systems by combining bisimulations.

Frédéric LangRadu MateescuFranco 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