PiDuce
From MaRDI portal
Cited in
(32)- A Typed Calculus for Querying Distributed XML Documents
- 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
- Behavioural equivalences for dynamic web data
- Algebraic Pattern Matching in Join Calculus
- Linear forwarders
- TulaFale
- SafeDpi
- JoCaml
- BPEL2oWFN
- COWS
- Facile
- Pict
- MetaOCaml
- KLAIM
- XPi
- PIPER
- CDuce
- XDuce
- CC-Pi
- TyPiCal
- A behavioural theory for a \(\pi\)-calculus with preorders
- Replacement freeness: a criterion for separating process calculi
- Programming Languages and Systems
- A rude contract language for web services
- 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
This page was built for software: PiDuce
