Вы здесь

Главная

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
Investigating Semantic Notions for Coloured Dataflow Networks
Unified Characterization of Some Properties of Event Structures