On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
From MaRDI portal
Publication:615893
DOI10.1016/j.jlap.2010.01.001zbMath1209.68133MaRDI QIDQ615893
Publication date: 7 January 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.01.001
68N99: Theory of software
Cites Work
- Strong normalisation in the \(\pi\)-calculus
- Formal semantics and analysis of control flow in WS-BPEL
- A generic type system for the pi-calculus
- A type system for lock-free processes
- A theory of contracts for web services
- Types as models
- Algebraic Methodology and Software Technology
- Fundamental Approaches to Software Engineering
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item