On Specifying Timeouts

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 173-175

  van Glabbeek, Rob ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Concurrency; Fairness; Liveness; Petri nets; Priorities; Process Algebra; Timeouts

Indexed keywords

COMPUTATION THEORY; CONCURRENCY CONTROL; PETRI NETS;

PROCESS ALGEBRA; TIMEOUTS;

LINEAR ALGEBRA;

EID: 33748915863     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.083     Document Type: Article

References (1)

1. Baeten J.C.M., Bergstra J.A., and Klop J.W. On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science 51 1/2 (1987) 129-176