Calculus of Communicating Systems

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:abbreviation gptkb:CCS
gptkbp:creator gptkb:Robin_Milner
gptkbp:describes interactions between concurrent systems
gptkbp:field computer science
concurrency theory
gptkbp:hasConcept recursion
synchronization
action prefix
bisimulation
labelled transition system
parallel composition
restriction
summation
https://www.w3.org/2000/01/rdf-schema#label Calculus of Communicating Systems
gptkbp:influenced gptkb:π-calculus
gptkb:Communicating_Sequential_Processes
gptkbp:introducedIn late 1970s
gptkbp:languageOfName formal semantics
gptkbp:publishedBy gptkb:Springer-Verlag
gptkbp:publishedIn gptkb:A_Calculus_of_Communicating_Systems_(book)
gptkbp:relatedTo gptkb:Petri_nets
gptkb:Actor_model
process algebra
gptkbp:usedFor formal verification
modeling communication protocols
gptkbp:bfsParent gptkb:pi-calculus
gptkbp:bfsLayer 6