IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Thu, 28 Mar 2024 19:48:00 +0100Thu, 28 Mar 2024 19:48:00 +0100en Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
http://eprints.imtlucca.it/381/
De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)