Semantics of nondeterminism, concurrency, and communication
From MaRDI portal
Publication:1139946
DOI10.1016/0022-0000(79)90006-0zbMath0434.68066MaRDI QIDQ1139946
Publication date: 1979
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/15886
fixed points; concurrent programming; domain equation; binding termination; denotational semantics for a high level language for distributed programming
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items