A model of reconfiguration in communicating sequential processes
Publication:918723
DOI10.1016/0020-0190(90)90168-WzbMath0706.68075OpenAlexW2029100760MaRDI QIDQ918723
Publication date: 1990
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(90)90168-w
distributed systemsprogram specificationsoftware engineeringreconfigurabilitycommunicating sequential processesoperating systems
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Theory of operating systems (68N25) Theory of software (68N99)
Related Items (1)
Cites Work
This page was built for publication: A model of reconfiguration in communicating sequential processes