A Prospectus for Mobile Broadcasting Systems
Artikel i vetenskaplig tidskrift, 2006

Computer messages are often broadcast over ethernets, and sent point-to-point between them: globally asynchronous, locally synchronous (GALS). This paradigm is captured here by a primitive calculus, MBS (mobile broadcasting systems). MBS processes talk in rooms by local broadcast, and walk between rooms at unspecified speeds. Names are like object names in the π-calculus, but its “get/put b on channel a” becomes in MBS “go to a and hear/say b”. Speakers wait for departing processes, who are grouped by destination, and walkers can enter only silent rooms. These rules, and a primitive to make a room wait for a walker from a given room, seem adequate for programming.


Process calculus


process mobility

broadcast communication


K V S Prasad

Chalmers, Data- och informationsteknik

Electronic Notes in Theoretical Computer Science

1571-0661 (ISSN)

Vol. 162 295-300


Datavetenskap (datalogi)

Mer information