Models of programs and processes

DOI10.1016/0020-0190(83)90043-1zbMath0522.68010OpenAlexW2032457023MaRDI QIDQ1056219

Brian H. Mayoh

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90043-1

zbMATH Keywords

modelsprogramming languagesparallel processingdiagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• Calculi for synchrony and asynchrony
• Computing in systems described by equations
• A calculus of communicating systems
• Unnamed Item