2272 search results - page 283 / 455 » A Calculus for |
134
click to vote
ESOP
1999
Springer
15 years 8 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
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
134
click to vote
AUSAI
1998
Springer
15 years 8 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
157
click to vote
ICFEM
1998
Springer
15 years 8 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...
123
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...