C WS: A Timed Service-Oriented Calculus

DOI10.1007/978-3-540-75292-9_19zbMath1147.68846OpenAlexW2883469592MaRDI QIDQ3525091

Francesco Tiezzi, A. Lapadula, Rosario Pugliese

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_19

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Timed runtime monitoring for multiparty conversations ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ COWS ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs

This page was built for publication: C WS: A Timed Service-Oriented Calculus