Showing 1 - 3 results of 3 for search 'Pawel, Sobocinski', query time: 0.04s Refine Results
  1. 1
    A non-interleaving process calculus for multi-party synchronisation
    by Paweł Sobociński
    Published 2009-12-01
    Get full text
    Article
  2. 2
    Compositional model checking of concurrent systems, with Petri nets
    by Paweł Sobociński
    Published 2016-03-01
    Get full text
    Article
  3. 3
    Connector algebras for C/E and P/T nets interactions
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search