On Specifying Timeouts

4Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

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. © 2006 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

van Glabbeek, R. (2006). On Specifying Timeouts. Electronic Notes in Theoretical Computer Science, 162(1), 173–175. https://doi.org/10.1016/j.entcs.2005.12.083

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free