Specifying and Analysing SOC Applications with COWS

DOI10.1007/978-3-540-68679-8_43zbMath1143.68490DBLPconf/birthday/LapadulaPT08OpenAlexW1541996231WikidataQ57650807 ScholiaQ57650807MaRDI QIDQ3507397

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)

Uses Software

• COWS

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