56 citations · 86 across the 15 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010
Precedence Automata and Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the well-know…
cs.LO2010
Refinement and Verification of Real-Time Systems
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer +1
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f…