On Mereologies in Computing Science

DOI10.1007/978-1-84882-912-1_3zbMath1214.68117OpenAlexW1544966513MaRDI QIDQ3163397

Dines Bjørner

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_3

zbMATH Keywords

CSP channelCSP processes

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Domain science and engineering from computer science to the sciences of informatics. I: Engineering ⋮ Manifest domains: analysis and description

This page was built for publication: On Mereologies in Computing Science