To every manifest domain a CSP expression -- a rôle for mereology in computer science
From MaRDI portal
Publication:1683705
DOI10.1016/j.jlamp.2017.09.005zbMath1382.68050OpenAlexW2770745742MaRDI QIDQ1683705
Publication date: 1 December 2017
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://backend.orbit.dtu.dk/ws/files/142124916/jlamp_mereo.pdf
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Philosophical and critical aspects of logic and foundations (03A05) General topics in the theory of software (68N01)
Related Items
Cites Work