Cover Image
Read Now

1
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... of CCS for handling atomic actions -- Modelling statecharts behaviour in a fully abstract way -- Directed...”