Sign in
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
Rocco De Nicola
Paola Inverardi
Monica Nesi
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
multimedia
formal specification
connected components
data mining
information presentation
behavioural patterns
database
real time
database systems
multi agent
software engineering
functional requirements
specification language
control flow
concurrent systems