529 search results - page 16 / 106 » Causal Time Calculus |
68
Voted
CONCUR
2005
Springer
15 years 3 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 ...
AAAI
1996
14 years 10 months ago
1996
paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
AISC
2006
Springer
15 years 1 months ago
2006
Springer
75
Voted
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...