cours.4

Introduction Syntax and Operational Semantics of CCS Introduction Syntax and Operational Semantics of CCSOutlineConcurrency 3CCS - Syntax and transitions, Equivalences1 IntroductionMotivationsCatuscia PalamidessiPrinciples in CCS designINRIA Futurs and LIX - Ecole PolytechniqueThe other lecturers for this course: 2 Syntax and Operational Semantics of CCSSyntaxJean-Jacques Lévy (INRIA Rocquencourt) Labeled transition SystemJames Leifer (INRIAt) What equivalence for CCS?Eric Goubault (CEA)http://pauillac.inria.fr/˜leifer/teaching/mpri-concurrency-2005/1 2Introduction Syntax and Operational Semantics of CCS Introduction Syntax and Operational Semantics of CCSMotivations MotivationsWhy a Calculus for Concurrency? Inadequacy of standard models of computationsThe Calculus for Communicating Systems (CCS) wasdeveloped by R. Milner around the 80’s.The! calculus, the Turing machines, etc. are computationallyOther Process Calculi were proposed at about the same complete, yet do not capture the features of concurrenttime: the Theory of Communicating Sequential Processes computations likeby T. Hoare and the Algebra of CommunicatingInteraction and communicationby J. Bergstra and J.W. Klop.Inadequacy of functional denotationResearchers were looking for a calculus with few,Nondeterminismorthogonal mechanisms, able to represent all the relevantconcepts of concurrent computations. More complex Note: nondeterminism in concurrency is different from themechanisms ...