An algebraic theory for web service contracts
From MaRDI portal
(Redirected from Publication:493534)
Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 733666 (Why is no real title available?)
- scientific article; zbMATH DE number 3995043 (Why is no real title available?)
- scientific article; zbMATH DE number 1398002 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A foundational theory of contracts for multi-party service composition
- A generic type system for the \(\pi\)-calculus
- A theory of contracts for strong service compliance
- A theory of contracts for web services
- An algebraic theory for web service contracts
- Bisimulations in the join-calculus
- CDuce: an XML-centric general-purpose language
- Contract-Directed Synthesis of Simple Orchestrators
- Contract-based discovery of Web services modulo simple orchestrators
- Contracts for Mobile Processes
- Fair subtyping for multi-party session types
- Fair subtyping for open session types
- Formal semantics and analysis of control flow in WS-BPEL
- Modelling session types using contracts
- Multiparty asynchronous session types
- On the expressive power of recursion, replication and iteration in process calculi
- PiDuce- A project for experimenting web services technologies
- Retrieving library functions by unifying types modulo linear isomorphism
- Structured Communication-Centred Programming for Web Services
- Subtyping for session types in the pi calculus
- Testing equivalences for processes
- The Must Preorder Revisited
- The Pairing of Contracts and Session Types
- The algorithmics of bisimilarity
- Types as models: model checking message-passing programs
- Typing asymmetric client-server interaction
Cited in
(20)- Behavioural contracts with request-response operations
- Session types for safe web service orchestration
- Relating two automata-based models of orchestration and choreography
- Structural and behavioural compatibility of graphical service specifications
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- A fixed-points based framework for compliance of behavioural contracts
- Contract-Directed Synthesis of Simple Orchestrators
- Contract-based discovery of Web services modulo simple orchestrators
- Compliance in behavioural contracts: a brief survey
- On the use of behavioural equivalences for web services' development
- A theory of contracts for web services
- A formal approach to service specification and matching based on graph transformation
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
- UTP Semantics for Web Services
- Programming Languages and Systems
- A Behavioural Congruence for Web Services
- A theory of contracts for strong service compliance
- An algebraic theory for web service contracts
- The Must Preorder Revisited
- A WSDL-based type system for asynchronous WS-BPEL processes
This page was built for publication: An algebraic theory for web service contracts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493534)
