A sequential real-time refinement calculus.Published in:Acta Informatica, 2001, v. 37, n. 6, p. 385, doi. 10.1007/PL00013311By:Hayes, Ian J.;Utting, MarkPublication type:Article
Synchronized extension systems.Published in:Acta Informatica, 2001, v. 37, n. 6, p. 449, doi. 10.1007/PL00013310By:Ţiplea, Ferucio Laurentiu;Mäkinen, Erkki;Apachite, CorinaPublication type:Article