Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

DOI10.1007/978-3-319-05119-2_13zbMath1348.68162OpenAlexW1431947976MaRDI QIDQ2830035

Mikael H. Møller, Rolf Hennicker, Serge Haddad

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Modal Open Petri Nets ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Moving from interface theories to assembly theories

Uses Software

• BPEL2oWFN

This page was built for publication: Specification of Asynchronous Component Systems with Modal I/O-Petri Nets