FSEN
2007
Springer
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 months ago
2007
Springer
FSEN
2007
Springer
14 years 5 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
14 years 5 months ago
2007
Springer
FSEN
2007
Springer
14 years 5 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...