Calculus of Communicating Systems (CCS)

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:developedBy gptkb:Robin_Milner
gptkbp:field theoretical computer science
concurrency theory
gptkbp:hasConcept synchronization
action prefix
bisimulation
parallel composition
relabelling
restriction
https://www.w3.org/2000/01/rdf-schema#label Calculus of Communicating Systems (CCS)
gptkbp:influenced gptkb:π-calculus
gptkb:Communicating_Sequential_Processes_(CSP)
gptkbp:introducedIn late 1970s
gptkbp:notation algebraic
gptkbp:publishedBy gptkb:Springer
gptkbp:publishedIn gptkb:A_Calculus_of_Communicating_Systems_(book)
gptkbp:relatedTo gptkb:Petri_nets
automata theory
gptkbp:usedFor analyzing communication protocols
modeling concurrent systems
gptkbp:bfsParent gptkb:Robin_Milner
gptkbp:bfsLayer 5