Abstract
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.
Cite
CITATION STYLE
de Nicola, R., Inverardi, P., & Nesi, M. (1990). Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 407 LNCS, pp. 54–67). Springer Verlag. https://doi.org/10.1007/3-540-52148-8_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
