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

A Prospectus for Mobile Broadcasting Systems

K. V. S. Prasad (Institutionen för data- och informationsteknik (Chalmers))
Electronical Notes in Theoretical Computer Science (1571-0661). Vol. 162 (2006), p. 295-300.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: Process calculus; broadcast communication; process mobility; ethernet; GALS



Denna post skapades 2014-02-04. Senast ändrad 2014-02-04.
CPL Pubid: 193380

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)

Ämnesområden

Datavetenskap (datalogi)

Chalmers infrastruktur