The laws of Occam programming
From MaRDI portal
Publication:2640348
DOI10.1016/0304-3975(88)90049-7zbMath0719.68039MaRDI QIDQ2640348
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(88)90049-7
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items
Communicating processes with value-passing and assignments, A theory of software product line refinement, Receptive process theory, Correct hardware synthesis, The projection of systolic programs, A proof system for communicating processes with value-passing, An algebraic hardware/software partitioning algorithm, Proof systems for message-passing process algebras, On fairness notions in distributed systems. I: A characterization of implementability
Cites Work