Skip to main content

Acta Informatica

Ausgabe 6/2001

Inhalt (2 Artikel)

Original articles

Synchronized extension systems

Ferucio Laurenţiu Ţiplea, Erkki Mäkinen, Corina Apachite

Original articles

A sequential real-time refinement calculus

Ian J. Hayes, Mark Utting