Formal Methods for Open Object-Based Distributed Systems
From MaRDI portal
Publication:5902545
DOI10.1007/b94120zbMath1253.68056OpenAlexW4205898334MaRDI QIDQ5902545
Laura Bocchi, Gianluigi Zavattaro, Cosimo Laneve
Publication date: 12 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94120
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Internet topics (68M11)
Related Items
Service oriented computing from a process algebraic perspective ⋮ A core calculus for correlation in orchestration languages ⋮ A pi-calculus based semantics for WS-BPEL ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ An accessible verification environment for UML models of services ⋮ Event-Based Service Coordination ⋮ Unnamed Item ⋮ On the analysis of compensation correctness ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ From StPowla processes to SRML models ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ On primitives for compensation handling as adaptable processes ⋮ An Observational Model for Transactional Calculus of Services Orchestration ⋮ Biological Transactions for Quantitative Models