Diekert and A. Muscholl: Deterministic Asynchronous Automata for Infinite Traces (1994)

by V
Venue:Acta Informatica
Add To MetaCart
Results 1 - 1 of 1

Regular Trace Event Structures

by P. S. Thiagarajan, P. S. Thiagarajan , 1996
"... We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting.