Pawel Sobocinski Where and When: POST318B (ICSpace) Thursday November 3, 12:00pm Title: Compositional model checking of concurrent systems with Petri nets Abstract: Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence […]
↧