CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Broadcasting with Priority

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 p. 469-484. (1994)
[Konferensbidrag, refereegranskat]

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.

Denna post skapades 2014-02-04.
CPL Pubid: 193393


Institutioner (Chalmers)

Institutionen för datavetenskap (1993-2001)


Datavetenskap (datalogi)

Chalmers infrastruktur