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