Word:

Calculus of Communicating Systems

Calculus of Communicating Systems - (CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in behaviour expressions syntax denotes a process behaviour. Programs can be compared using the notion of observational equivalence.

["A Calculus of Communicating Systems", LNCS 92, Springer 1980].

["Communication and Concurrency", R. Milner, P-H 1989].
Browse
Calculable
Calculary
Calculate
Calculated
Calculated for the meridian of
Calculating
calculating machine
calculatingly
Calculation
Calculative
Calculator
Calculatory
Calcule
Calculi
Calculous
Calculus
-- Calculus of Communicating Systems --
Calculus of functions
Calculus of operations
Calculus of probabilities
calculus of variations
Calcutta
Calcuttan
Calder
caldera
Calderon
Calderon de la Barca
Caldron
Caldwell
CALEA
calean
Caleche
Caledonia
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy