Transaction Calculus

From MaRDI portal

Publication:3585019

Jump to:navigation, search

DOI10.1007/978-3-642-14521-6_2zbMath1286.68081OpenAlexW4205582814MaRDI QIDQ3585019

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: Transaction Calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3585019&oldid=16994325"