CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
CONCUR
2005
Springer
14 years 6 months ago
2005
Springer
CONCUR
2005
Springer
14 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 ...