| dbo:abstract
|
- حساب أنظمة البث أو حسابات التفاضل والتكامل في أنظمة البث (CBS) هي مماثلة إلى حسبان أنظمة التواصل (CCS) حيث كل عملية (حوسبة) تتحدث كلُّ على حِدةَ وتُسمع على الفور من قبل العمليات الأخرى. فالتحدث مستقل بذاته والخلاف بين المتحدثين يتم حله بشكل غير حتمي، ولكن يمكنك السماع فقط حين يتحدث فرد آخر فقط. (ar)
- 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: 1.
* Priority, which attaches only to autonomous actions, is simply added to CBS in contrast to CCS, where such actions are the result of communication. 2.
* 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 bi simulation is a congruence. 3.
* 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. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2426 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:bot
| |
| dbp:date
| |
| dbp:fixAttempted
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- حساب أنظمة البث أو حسابات التفاضل والتكامل في أنظمة البث (CBS) هي مماثلة إلى حسبان أنظمة التواصل (CCS) حيث كل عملية (حوسبة) تتحدث كلُّ على حِدةَ وتُسمع على الفور من قبل العمليات الأخرى. فالتحدث مستقل بذاته والخلاف بين المتحدثين يتم حله بشكل غير حتمي، ولكن يمكنك السماع فقط حين يتحدث فرد آخر فقط. (ar)
- 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: (en)
|
| rdfs:label
|
- حساب أنظمة البث (ar)
- Calculus of broadcasting systems (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
