A Behavioural Congruence for Web Services
From MaRDI portal
Publication:3508530
DOI10.1007/978-3-540-75698-9_16zbMath1141.68501OpenAlexW3136509408MaRDI QIDQ3508530
Antonio Brogi, Sara Corfini, Fabio Gadducci, Filippo Bonchi
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_16
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study ⋮ Open Petri Nets: Non-deterministic Processes and Compositionality ⋮ Most General Property-Preserving Updates ⋮ Static and dynamic property-preserving updates ⋮ Deciding Substitutability of Services with Operating Guidelines