Compositional Modeling of Reactive Systems Using Open Nets.

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel

Browse the full CONCUR paper archive.