1875 search results - page 179 / 375 » A Calculus of Broadcasting Systems |
111
click to vote
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
130
click to vote
JLP
2008
15 years 3 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
113
click to vote
ENTCS
2007
15 years 3 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
114
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Significant research has been dedicated to methods that estimate the available bandwidth in a network from traffic measurements. While estimation methods abound, less progres...
125
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...