author : Antti Valmari

Short works

• A chaos-free failures-divergences semantics. 2000. (In Millennial Perspectives in Computer Science )