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