7943 search results - page 66 / 1589 » A calculus for costed computations |
100
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
86
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
133
Voted
ECOOP
1993
Springer
15 years 4 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
82
Voted
ECCV
2000
Springer
16 years 2 months ago
2000
Springer
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...