A model of reconfiguration in communicating sequential processes
From MaRDI portal
Publication:918723
DOI10.1016/0020-0190(90)90168-WzbMath0706.68075MaRDI QIDQ918723
Publication date: 1990
Published in: Information Processing Letters (Search for Journal in Brave)
distributed systems; program specification; software engineering; reconfigurability; communicating sequential processes; operating systems
68M10: Network design and communication in computer systems
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
68N25: Theory of operating systems
68N99: Theory of software
Related Items
Cites Work