Extending Compositional Message Sequence Graphs.

Benedikt Bollig, Martin Leucker, Philipp Lucas

Browse the full LPAR paper archive.