The inhibition spectrum and the achievement of causal consistency Carol CritchlowKim Taylor Pages: 11 - 27
Deriving protocol specifications from service specifications written in LOTOS Christian KantTeruo HigashinoGregor von Bochmann Pages: 29 - 47