Concurrency and Hardware Design


We introduce a simple formal framework for specifying and implementing concurrent systems. The framework enables the specification of safety and progress properties and is based on Enhanced Characteristic Functions. The use of Enhanced Characteristic Functions leads to simple definitions of operations such as hiding and various process compositions. We… (More)
DOI: 10.1007/3-540-36190-1


  • Presentations referencing similar topics