Abstract
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
On Specifying Timeouts
On Specifying Timeouts
Author(s)
van Glabbeek, Robert
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2006
Resource Type
Journal Article
Degree Type
UNSW Faculty
Files
|
56.54 KB | Adobe Portable Document Format |