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

A Calculus of Value Broadcasts

K. V. S. Prasad (Institutionen för datavetenskap)
Arndt Bode, Mike Reeve, Gottfried Wolf (Eds.): PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science p. 391-402. (1993)
[Konferensbidrag, refereegranskat]

Computation can be modelled as a sequence of values, each broadcast by one agent and instantaneously audible to all those in parallel with it. Listening agents receive the value; others lose it. Subsystems interface via translators; these can scramble values and thus hide or restrict them. Examples show the calculus describing this model to be a powerful and natural programming tool. Weak bisimulation, a candidate for observational equivalence, is defined on the basis that receiving a value can be matched by losing it.

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


Institutioner (Chalmers)

Institutionen för datavetenskap (1993-2001)


Datavetenskap (datalogi)

Chalmers infrastruktur