Analyzing Compatibility of Services via Resource Conformance

DOI10.3233/FI-2013-937zbMath1285.68015OpenAlexW1580873614MaRDI QIDQ5411652

I. V. Romanov, Irina A. Lomazova

Publication date: 25 April 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-937

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (2)

Resource Bisimilarity in Petri Nets is Decidable ⋮ Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource

This page was built for publication: Analyzing Compatibility of Services via Resource Conformance