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