TITLE : Observational logics and concurrency models AUTHOR(S) : De Nicola R, Ferrari Gl TYPE : Conference article YEAR : 1990 CODE : 453257 *** DO NOT EDIT THIS FILE ***