Specifying and Analysing SOC Applications with COWS

DOI10.1007/978-3-540-68679-8_43MaRDI QIDQ3507397zbMATH OpenOpenAlexDBLPWikidataFDO

Authors A. Lapadula, Francesco Tiezzi, Rosario Pugliese

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL http://eprints.imtlucca.it/411/1/cows_2008a.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 107452
• A SOC-based formal specification and verification of hybrid systems
• C WS: A Timed Service-Oriented Calculus
• A formal system for specification analysis of concurrent programs
• SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
• Compositional Reasoning for Hardware/Software Co-verification

Cited in

(4)

• Regulating Data Exchange in Service Oriented Applications
• C WS: A Timed Service-Oriented Calculus
• A Calculus for Orchestration of Web Services
• \textsf{CaPiTo}: Protocol stacks for services

Describes a project that uses

Uses Software

• COWS

This page was built for publication: Specifying and Analysing SOC Applications with COWS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507397)