PiDuce- A project for experimenting web services technologies

DOI10.1016/j.scico.2009.03.002zbMath1194.68077OpenAlexW2080931699MaRDI QIDQ838158

Luca Padovani, Cosimo Laneve, Samuele Carpineti

Publication date: 21 August 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.03.002

zbMATH Keywords

type systemXML schemaweb servicesWSDLpi calculussubschema relation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05) Internet topics (68M11)

Related Items

On projecting processes into session types, A Behavioural Theory for a π-calculus with Preorders, A behavioural theory for a \(\pi\)-calculus with preorders, Replacement freeness: a criterion for separating process calculi, Semantic subtyping for the pi-calculus, An algebraic theory for web service contracts, A WSDL-based type system for asynchronous WS-BPEL processes, PiDuce, A Rude Contract Language for Web Services

Uses Software

• TulaFale
• JoCaml
• Facile
• XPi
• CDuce
• XDuce
• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• XPi: a typed process calculus for XML messaging
• Semantic subtyping for the pi-calculus
• A calculus of mobile processes. II
• Mobile ambients
• Linear forwarders
• Modelling dynamic web data
• Regular expression types for XML
• CDuce
• Programming Languages and Systems
• Formal Methods for Components and Objects
• Automata, Languages and Programming
• Foundations of Software Science and Computational Structures
• Programming Languages and Systems