@incollection{eprints390,
           pages = {520--533},
          editor = {Lothar Budach},
          author = {Pierpaolo Degano and Rocco De Nicola and Ugo Montanari},
       booktitle = {Fundamentals of Computation Theory (FCT 1985)},
           title = {Partial ordering derivations for CCS},
          volume = {199},
            year = {1985},
          series = {Lecture Notes in Computer Science},
       publisher = {Springer},
             url = {http://eprints.imtlucca.it/390/},
        abstract = {In this paper we extend CCS transitions, labelled by strings, to concurrent histories, i.e. to transitions labelled by partial orderings. The two notions are linked by a theorem which shows that the strings can be obtained by taking all interleavings compatible with the partial orderings.}
}