529 search results - page 16 / 106 » Causal Time Calculus |
CONCUR
2005
Springer
15 years 5 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
15 years 1 months ago
1996
paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
AISC
2006
Springer
15 years 3 months ago
2006
Springer
CHARME
2001
Springer
15 years 3 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 ...