scientific article

zbMath1364.68143MaRDI QIDQ2989007

Seyyed Hassan Mirian, Nima Roohi, Gwen Salaün

Publication date: 19 May 2017

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004502?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

choreographyFSPWS-CDLChor

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets

Uses Software

• WSAT
• mCRL2

This page was built for publication: