of Broadcasting Systems (Extended Version) Karol Ostrovsk'y, K. V. S. Prasad...  Home/Search
Context
Related
| rice.edu/~taha/pub...esop01longpre.ps From: rice.edu/~taha/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ethernet-style broadcast is a pervasive style of computer communication. In this style, the medium is a single nameless channel. (Update)
Similar documents (at the sentence level):
73.0%: Towards a Primitive Higher Order Calculus of Broadcasting.. - Ostrovsky, Prasad, Taha (2000) (Correct)
37.0%: Towards a Primitive Higher Order Calculus - Of Broadcasting Systems (Correct)
28.9%: Towards a Primitive Theory of Broadcasting - Ostrovsky, Prasad, Taha (Correct)
Active bibliography (related documents): More All
0.3: A Preliminary Account Of Primitive HOBS: A Calculus For.. - Ostrovsky, Prasad, Taha (2000) (Correct)
0.0: Congruence Proofs For Weak Bisimulation on Higher-order .. - Frauenstein, Baldamus, .. (1996) (Correct)
0.0: Presheaf Models Concurrency - Cattani (1999) (Correct)
Similar documents based on text: More All
0.2: Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (Correct)
0.1: Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (Correct)
0.1: DALI: An Untyped CBV Operational Semantics and Equational.. - Pasalic, Sheard, Taha (2000) (Correct)
BibTeX entry: (Update)
@misc{ systems-towards,
author = "Of Broadcasting Systems",
title = "Towards a Primitive Higher Order Calculus",
url = "citeseer.ist.psu.edu/730471.html" }
Citations (may not include all citations):248 Expressing Mobility (context) - Sangiorgi - 1992
179 The lazy lambda calculus - Abramsky - 1990
178 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
112 Bisimilarity as a theory of functional programming: minicour.. (context) - Gordon - 1995
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000
75 Proving congruence of bisimulation in functional programming.. - Howe - 1996
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
45 A theory of weak bisimulation for core cml - Ferreira, Hennessy et al. - 1998
39 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
38 International Series in Computer Science (context) - Milner, Concurrency - 1989
35 Plain CHOCS: A second generation calculus for higher order p.. (context) - Thomsen - 1993
22 Science of Computer Programming (context) - Prasad, of et al. - 1995
7 Expressivness of point-to-point versus broadcast communicati.. (context) - Ene, Muntean - 1999
7 Status report on ongoing work: Higher order broadcasting sys.. - Prasad - 1994
3 A preliminary account of Primitive HOBS: A calculus for high.. - Ostrovsk'y, Prasad et al. - 2000
2 Towards a primitive higher order calculus of broadcasting sy.. - Ostrovsk'y, Prasad et al. - 2000
Documents on the same site (http://www.cs.rice.edu/~taha/publications.html): More
Resource-Aware Programming - Taha (Correct)
Logical Modalities and Multi-Stage Programming - Zine El-Abidine Benaissa (1999) (Correct)
Tag Elimination and Jones-Optimality (includes proofs) - Taha, Makholm, Hughes (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC