1875 search results - page 194 / 375 » A Calculus of Broadcasting Systems |
149
click to vote
CADE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
165
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
151
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
178
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
154
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...