Publication:2848067
From MaRDI portal
zbMath1272.68046MaRDI QIDQ2848067
Holger Schlingloff, Axel Martens, Karsten Schmidt
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000812
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M11: Internet topics
Related Items
On the verification of security-aware E-services, Service net algebra based on logic Petri nets, Towards verification of computation orchestration, Executability of scenarios in Petri nets