Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Calculus_of_Broadcasting_Systems> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Calculus_of_Broadcasting_Systems abstract "Calculus of Broadcasting Systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The handshake communication of CCS is changed to broadcast communication in CBS. This allows several additional features: Priority, which attaches only to autonomous actions, is simply added to CBS in contrast to CCS, where such actions are the result of communication. A CBS simulator runs a process by returning a list of values it broadcasts. This permits a powerful combination, CBS with the host language. It yields several elegant algorithms. Only processes with a unique response to each input are needed in practice, so weak bisimulation is a congruence. CBS subsystems are interfaced by translators; by mapping messages to silence, these can restrict hearing and hide speech. Reversing a translator turns its scope inside out. This permits a new specification for a communication link – the environment of each user should behave like the other user.".
- Calculus_of_Broadcasting_Systems wikiPageExternalLink 328881.html.
- Calculus_of_Broadcasting_Systems wikiPageExternalLink prasad95calculus.html.
- Calculus_of_Broadcasting_Systems wikiPageExternalLink scp.html.
- Calculus_of_Broadcasting_Systems wikiPageID "420374".
- Calculus_of_Broadcasting_Systems wikiPageLength "2265".
- Calculus_of_Broadcasting_Systems wikiPageOutDegree "17".
- Calculus_of_Broadcasting_Systems wikiPageRevisionID "494462908".
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Alternating_bit_protocol.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Bisimulation.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Calculus_of_communicating_systems.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Category:Parallel_computing.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Category:Process_calculi.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Communicating_sequential_processes.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink K._V._S._Prasad.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Process_(computing).
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Process_calculus.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Springer_Science+Business_Media.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Π-calculus.
- Calculus_of_Broadcasting_Systems wikiPageWikiLinkText "Calculus of Broadcasting Systems".
- Calculus_of_Broadcasting_Systems subject Category:Parallel_computing.
- Calculus_of_Broadcasting_Systems subject Category:Process_calculi.
- Calculus_of_Broadcasting_Systems type Language.
- Calculus_of_Broadcasting_Systems type Model.
- Calculus_of_Broadcasting_Systems type Language.
- Calculus_of_Broadcasting_Systems type Model.
- Calculus_of_Broadcasting_Systems type Redirect.
- Calculus_of_Broadcasting_Systems comment "Calculus of Broadcasting Systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The handshake communication of CCS is changed to broadcast communication in CBS.".
- Calculus_of_Broadcasting_Systems label "Calculus of Broadcasting Systems".
- Calculus_of_Broadcasting_Systems sameAs Q5018892.
- Calculus_of_Broadcasting_Systems sameAs m.026ckv.
- Calculus_of_Broadcasting_Systems sameAs Q5018892.
- Calculus_of_Broadcasting_Systems wasDerivedFrom Calculus_of_Broadcasting_Systems?oldid=494462908.
- Calculus_of_Broadcasting_Systems isPrimaryTopicOf Calculus_of_Broadcasting_Systems.