2015 | OriginalPaper | Buchkapitel
Additional Operators
verfasst von : Roberto Gorrieri, Cristian Versari
Erschienen in: Introduction to Concurrency Theory
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Some additional operators are investigated: the internal choice operator and the hiding one of CSP, the relabeling operator occurring in early versions of CCS, the sequential composition operator and the iteration operator of ACP, the replication operator of the
π
-calculus, and, finally, CSP parallel composition with multiway synchronization. The main aim of this chapter is to show that most of them are encodable into CCS, hence proving that CCS is reasonably expressive.