@incollection{eprints375,
       publisher = {Springer},
           title = {Action and State-based Logics for Process Algebras},
       booktitle = {CONCUR 1991},
            year = {1991},
          author = {Rocco De Nicola},
          series = {Lecture Notes in Computer Science},
          volume = {527},
          editor = {Jos C. M. Baeten and Jan Friso Groote},
           pages = {20--22},
        abstract = {Process algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis.},
             url = {http://eprints.imtlucca.it/375/}
}