Sciweavers

Share
ENTCS
2006

On Specifying Timeouts

8 years 9 months ago
On Specifying Timeouts
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
Rob J. van Glabbeek
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Rob J. van Glabbeek
Comments (0)
books