FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...