Formal Methods for Components and Objects

DOI10.1007/b14033zbMath1254.68140DBLPconf/fmco/2002OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897124

Bernhard Josko, Amir Pnueli, Werner Damm, Angelika Votintseva

Publication date: 9 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b14033

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Creol: A type-safe object-oriented model for distributed concurrent systems

This page was built for publication: Formal Methods for Components and Objects