swMATH1418MaRDI QIDQ14157FDOQ14157
Author name not available (Why is that?)
Official website: http://www.cs.unibo.it/~laneve/PiDuce/
Cited In (30)
- 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
- A behavioural theory for a \(\pi\)-calculus with preorders
- TulaFale
- BPEL2oWFN
- COWS
- Facile
- Pict
- MetaOCaml
- KLAIM
- XPi
- PIPER
- CDuce
- XDuce
- CC-Pi
- Replacement freeness: a criterion for separating process calculi
- Programming Languages and Systems
- TyPiCal
- 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
- A Typed Calculus for Querying Distributed XML Documents
This page was built for software: PiDuce
