Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
1-31 BibTeX
Ryszard Janicki:
A Formal Semantics for Concurrent Systems with a Priority Relation.
33-55 BibTeX
Masato Takeichi:
Partial Parametrization Eliminates Multiple Traversals of Data Structures.
57-77 BibTeX