On Specifying Timeouts

Rob van Glabbeek

doi:10.1016/j.entcs.2005.12.083

On Specifying Timeouts

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	173-175
Number of pages	3
Journal	Electronic Notes in Theoretical Computer Science
Volume	162
DOIs	https://doi.org/10.1016/j.entcs.2005.12.083
Publication status	Published - 29 Sept 2006

Keywords / Materials (for Non-textual outputs)

Concurrency
Process Algebra
Liveness
Fairness
Timeouts
Priorities
Petri nets

Access to Document

10.1016/j.entcs.2005.12.083Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

https://www.sciencedirect.com/science/article/pii/S1571066106004294Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

Cite this

@article{b5c35898a7dc47468e554807c772885b,

title = "On Specifying Timeouts",

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.",

keywords = "Concurrency, Process Algebra, Liveness, Fairness, Timeouts, Priorities, Petri nets",

author = "{van Glabbeek}, Rob",

year = "2006",

month = sep,

day = "29",

doi = "10.1016/j.entcs.2005.12.083",

language = "English",

volume = "162",

pages = "173--175",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - On Specifying Timeouts

AU - van Glabbeek, Rob

PY - 2006/9/29

Y1 - 2006/9/29

N2 - This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.

AB - This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.

KW - Concurrency

KW - Process Algebra

KW - Liveness

KW - Fairness

KW - Timeouts

KW - Priorities

KW - Petri nets

U2 - 10.1016/j.entcs.2005.12.083

DO - 10.1016/j.entcs.2005.12.083

M3 - Article

SN - 1571-0661

VL - 162

SP - 173

EP - 175

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

On Specifying Timeouts

Abstract

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this