A Calculus for Orchestration of Web Services
From MaRDI portal
Publication:5756484
DOI10.1007/978-3-540-71316-6_4zbMath1187.68070MaRDI QIDQ5756484
Francesco Tiezzi, A. Lapadula, Rosario Pugliese
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_4
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68M11: Internet topics
Related Items
The Conversation Calculus: A Model of Service-Oriented Computation, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, An Observational Model for Transactional Calculus of Services Orchestration, COWS, Parametric synchronizations in mobile nominal calculi, From StPowla processes to SRML models, Event based choreography, Assisting the design of a groupware system - Model checking usability aspects of thinkteam, A barred operational semantics for a subset of WS-CDL with time restrictions, Communicating by compatibility, Event-Based Service Coordination, What Do Semantics Matter When the Meat Is Overcooked?, Relational Analysis of Correlation, On the expressive power of process interruption and compensation
Uses Software