TY  - CHAP
T3  - Lecture Notes in Computer Science
SP  - 54
A1  - De Nicola, Rocco
A1  - Inverardi, Paola
A1  - Nesi, Monica
PB  - Springer
Y1  - 1990///
ED  - Sifakis, Joseph
M1  - 407
N2  - An interactive system for proving properties of CCS specifications is described. This system allows users to take advantage of all three views of CCS semantics (the transitions, the operationally defined equivalences and the axioms) and to define their own verification strategies for moving from one view to another. The system relies on term rewriting techniques and manipulates only the symbolic representation of specifications without resorting to any other kind of internal representation.
SN  - 3-540-52148-8
UR  - http://dx.doi.org/10.1007/3-540-52148-8_5
TI  - Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
AV  - none
T2  - Automatic Verification Methods for Finite State Systems
EP  - 67
ID  - eprints381
ER  -