3239 search results - page 140 / 648 » A Logical Process Calculus |
117
Voted
IPL
2008
15 years 24 days ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
101
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
115
Voted
ENTCS
2007
15 years 22 days ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
120
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
90
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...