What Do Semantics Matter When the Meat Is Overcooked?
From MaRDI portal
Publication:3507389
DOI10.1007/978-3-540-68679-8_35zbMath1143.68444OpenAlexW2100756821MaRDI QIDQ3507389
Publication date: 19 June 2008
Published in: Concurrency, Graphs and Models (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_35
Cites Work
- A state/event-based model-checking approach for the analysis of abstract system properties
- Formal semantics and analysis of control flow in WS-BPEL
- Truly concurrent constraint programming
- Web services. Concepts, architectures and applications
- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
- Structured Co-spans: An Algebra of Interaction Protocols
- Semiring-based constraint satisfaction and optimization
- Two Graph-Based Techniques for Software Architecture Reconfiguration
- Soft concurrent constraint programming
- A Calculus for Orchestration of Web Services
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
This page was built for publication: What Do Semantics Matter When the Meat Is Overcooked?
