<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Partial ordering derivations for CCS"^^ . "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."^^ . "1985" . "199" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Lothar"^^ . "Budach"^^ . "Lothar Budach"^^ . . "Pierpaolo"^^ . "Degano"^^ . "Pierpaolo Degano"^^ . . . . . "HTML Summary of #390 \n\nPartial ordering derivations for CCS\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .