PiDuce

swMATH1418MaRDI QIDQ14157FDOQ14157

Author name not available (Why is that?)

Described by source

• PiDuce- A project for experimenting web services technologies

Cited In (17)

• A Behavioural Theory for a π-calculus with Preorders
• A WSDL-based type system for asynchronous WS-BPEL processes
• XPi: a typed process calculus for XML messaging
• An algebraic theory for web service contracts
• Foundations of Software Science and Computation Structures
• A Rude Contract Language for Web Services
• Behavioural equivalences for dynamic web data
• Algebraic Pattern Matching in Join Calculus
• Linear forwarders
• Replacement freeness: a criterion for separating process calculi
• Programming Languages and Systems
• On projecting processes into session types
• A behavioural theory for a \(\pi\)-calculus with preorders
• Semantic subtyping for the pi-calculus
• Communicating by compatibility
• Comparing communication primitives via their relative expressive power
• A Typed Calculus for Querying Distributed XML Documents

This page was built for software: PiDuce