Concurrent Event Recognition

Authors:
Patrick Hill
Affiliations:
-
Venue:
Concurrent Event Recognition
Year:
1993

Citing 0
Cited 1

Type checking concurrent I/O

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Event recognition in concurrent systems in more difficult due to the indeterminacy of program events. Program events are specified using data path expressions. An efficient method of concurrent event recognition is presented that uses Augmented Transition Networks to represent the language of data path expressions. The implementation of this method is discussed and examples are shown.