Вы здесь

Главная

Univ. Hildesheim

Связанные издания:

An Investigation of Back-Forth and Place Bisimulation Equivalences
An Investigation of -Equivalences
Comparing Logical and Behavioural Equivalences for Event Structures
Equivalence Notions for Design of Concurrent Systems Using Petri Nets
Investigating Semantic Notions for Coloured Dataflow Netwirks