Browse wiki
From CERES
| Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems |
| Abstract | <p>Ethernet-style broadcast is a per … <p>Ethernet-style broadcast is a pervasive style of computercommunication. In this style, the medium is a single nameless channel. Previous work on modelling such systems proposed CBS. In this paper, we propose a fundamentally different calculus called HOBS. Compared to CBS, HOBS 1)is higher order rather than first order, 2) supports dynamicsubsystem encapsulation rather than static, and 3) does notrequire an “underlying language” to be Turing-complete.Moving to a higher order calculus is key to increasing the expressivity of the primitive calculus and alleviating the needfor an underlying language. The move, however, raises theneed for significantly more machinery to establish the basicproperties of the new calculus. This paper develops the basictheory for HOBS and presents two example programs thatillustrate programming in this language. The key technicalunderpinning is an adaptation of Howe’s method to HOBSto prove that bisimulation is a congruence. From this result,HOBS is shown to embed the lazy λ-calculus.</p>wn to embed the lazy λ-calculus.</p> |
|---|---|
| Author | Karol Ostrovsky + , K. V. S. Prasad + , Walid Taha + |
| Conference | PPDP'02. Symposium on Symposium on Principles and Practice of Declarative Programming |
| Diva | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588282 |
| PublicationType | Conference Paper + |
| Title | Towards a Primitive Higher Order Calculus of Broadcasting Systems + |
| Year | 2002 + |
| Has queryThis property is a special property in this wiki. | Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + , Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems + |
| Categories | Publication + |
| Modification dateThis property is a special property in this wiki. | 26 June 2014 03:44:57 + |
| hide properties that link here |
| No properties link to this page. |
