Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Calculus_of_communicating_systems> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Calculus_of_communicating_systems abstract "The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.According to Milner, \"There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework\".The expressions of the language are interpreted as a labelled transition system. Between these models, bisimilarity is used as a semantic equivalence.".
- Calculus_of_communicating_systems wikiPageID "420372".
- Calculus_of_communicating_systems wikiPageLength "3811".
- Calculus_of_communicating_systems wikiPageOutDegree "18".
- Calculus_of_communicating_systems wikiPageRevisionID "590845612".
- Calculus_of_communicating_systems wikiPageWikiLink Actor_model.
- Calculus_of_communicating_systems wikiPageWikiLink Backus–Naur_Form.
- Calculus_of_communicating_systems wikiPageWikiLink Bisimulation.
- Calculus_of_communicating_systems wikiPageWikiLink Calculus_of_Broadcasting_Systems.
- Calculus_of_communicating_systems wikiPageWikiLink Category:1980_in_computer_science.
- Calculus_of_communicating_systems wikiPageWikiLink Category:Process_calculi.
- Calculus_of_communicating_systems wikiPageWikiLink Communicating_sequential_processes.
- Calculus_of_communicating_systems wikiPageWikiLink Deadlock.
- Calculus_of_communicating_systems wikiPageWikiLink History_monoid.
- Calculus_of_communicating_systems wikiPageWikiLink Jane_Hillston.
- Calculus_of_communicating_systems wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- Calculus_of_communicating_systems wikiPageWikiLink PEPA.
- Calculus_of_communicating_systems wikiPageWikiLink Process_calculus.
- Calculus_of_communicating_systems wikiPageWikiLink Robin_Milner.
- Calculus_of_communicating_systems wikiPageWikiLink Tony_Hoare.
- Calculus_of_communicating_systems wikiPageWikiLink Transition_system.
- Calculus_of_communicating_systems wikiPageWikiLink Π-calculus.
- Calculus_of_communicating_systems wikiPageWikiLinkText "CCS".
- Calculus_of_communicating_systems wikiPageWikiLinkText "CCS-Calculus".
- Calculus_of_communicating_systems wikiPageWikiLinkText "Calculus of communicating systems".
- Calculus_of_communicating_systems wikiPageWikiLinkText "calculus of communicating systems".
- Calculus_of_communicating_systems wikiPageUsesTemplate Template:Refimprove.
- Calculus_of_communicating_systems wikiPageUsesTemplate Template:Reflist.
- Calculus_of_communicating_systems subject Category:1980_in_computer_science.
- Calculus_of_communicating_systems subject Category:Process_calculi.
- Calculus_of_communicating_systems type Language.
- Calculus_of_communicating_systems type Model.
- Calculus_of_communicating_systems type Language.
- Calculus_of_communicating_systems type Model.
- Calculus_of_communicating_systems type Redirect.
- Calculus_of_communicating_systems comment "The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction.".
- Calculus_of_communicating_systems label "Calculus of communicating systems".
- Calculus_of_communicating_systems sameAs Q2563079.
- Calculus_of_communicating_systems sameAs CCS.
- Calculus_of_communicating_systems sameAs Λογισμός_των_Επικοινωνούντων_Συστημάτων.
- Calculus_of_communicating_systems sameAs Cálculo_de_sistemas_comunicantes.
- Calculus_of_communicating_systems sameAs m.026ck1.
- Calculus_of_communicating_systems sameAs Исчисление_взаимодействующих_систем.
- Calculus_of_communicating_systems sameAs Q2563079.
- Calculus_of_communicating_systems wasDerivedFrom Calculus_of_communicating_systems?oldid=590845612.
- Calculus_of_communicating_systems isPrimaryTopicOf Calculus_of_communicating_systems.