BibTeX
@MISC{Thiagarajan96regulartrace,
author = {P. S. Thiagarajan and P. S. Thiagarajan},
title = {Regular Trace Event Structures},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting.
