56 citations · 86 across the 15 of their papers we have counts for
1 paper · 2 filters
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…