A Logic for the Specification and Proof of Controllable Processes of CCS

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 369-395
https://doi.org/10.1007/978-3-642-82453-1_13

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: