3239 search results - page 103 / 648 » A Logical Process Calculus |
81
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We make the notion of scope in the -calculus explicit. To that end, the syntax of the -calculus is extended with an end-of-scope operator , matching the usual opening of a scope du...
119
Voted
ICFP
2003
ACM
16 years 19 days ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
119
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
119
click to vote
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
122
click to vote
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...