Broadcasting with Priority
Paper i proceeding, 1994

Adding priorities to CCS is difficult, and involves two-stage operational semantics or other complications. By contrast, priorities can be added very simply to a calculus of broadcasting systems (CBS). The reason is the input /output distinction made in CBS, with output actions being autonomous. Priority makes sense only for autonomous actions. As in unprioritised CBS, both strong and weak bisimulation are congruences, and capture the intuitively desired equivalences. CBS is also a powerful and natural language, offering an interesting new programming paradigm. Several examples show that priorities extend both the power and the paradigm.

Författare

K V S Prasad

Institutionen för datavetenskap

Springer 1994 Lecture Notes in Computer Science, Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings

469-484

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-57880-3

Mer information

Skapat

2017-10-06