Cited in
(32)- Comparing communication primitives via their relative expressive power
- Linear forwarders
- Behavioural equivalences for dynamic web data
- A behavioural theory for a \(\pi\)-calculus with preorders
- On projecting processes into session types
- Semantic subtyping for the pi-calculus
- A Typed Calculus for Querying Distributed XML Documents
- Foundations of Software Science and Computation Structures
- TulaFale
- SafeDpi
- JoCaml
- BPEL2oWFN
- COWS
- Algebraic Pattern Matching in Join Calculus
- Facile
- Pict
- MetaOCaml
- KLAIM
- XPi
- PIPER
- CDuce
- XDuce
- CC-Pi
- Communicating by compatibility
- Replacement freeness: a criterion for separating process calculi
- TyPiCal
- XPi: a typed process calculus for XML messaging
- Programming Languages and Systems
- An algebraic theory for web service contracts
- A WSDL-based type system for asynchronous WS-BPEL processes
- A rude contract language for web services
- A behavioural theory for a \(\pi\)-calculus with preorders
This page was built for software: PiDuce
