Language constructs for real-time distributed systems

DOI10.1016/0096-0551(82)90017-0zbMath0484.68019OpenAlexW2046980858MaRDI QIDQ3943994

Carlo Ghezzi, Francesco Tisato, Dino Mandrioli, Daniel M. Berry

Publication date: 1982

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(82)90017-0

zbMATH Keywords

nondeterminismreal-time programmingprocess schedulingintra and inter-node communication

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25) Theory of software (68N99)