7 search results - page 1 / 2 » On Specifying Timeouts |
ENTCS
2006
13 years 4 months ago
2006
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
ENTCS
2008
13 years 4 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
RTAS
1998
IEEE
13 years 8 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
MONET
2008
13 years 2 months ago
2008
While traditional link layer protocols assume that they fully control the underlying link, in contemporary wireless networks the link may be dynamically shared by sessions belongin...