Elementary Transition Systems and Refinement

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. Elementary Transition Systems and Refinement. Acta Informatica, 29(6/7):555-578, 1992.

Abstract

Abstract is missing.