On Specifying Timeouts

Download files
Access & Terms of Use
open access
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.
Persistent link to this record
DOI
Additional Link
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
download 0200602305_timeouts.pdf 56.54 KB Adobe Portable Document Format
Related dataset(s)