1875 search results - page 194 / 375 » A Calculus of Broadcasting Systems |
102
click to vote
CADE
2005
Springer
15 years 6 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...
109
click to vote
ICALP
2004
Springer
15 years 6 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...
105
click to vote
ESOP
1999
Springer
15 years 5 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...
125
click to vote
ICFEM
1998
Springer
15 years 5 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...
BIRTHDAY
2006
Springer
15 years 4 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...