A distributed. abstract data type implemented by a probabilistic communication schemeNissim FraneezMichael Rodeh1980FOCS 1980Conference paper
Structure and complexity of relational queriesAshok K. ChandraDavid Harel1980FOCS 1980Conference paper
Process logic: Expressiveness, decidability, completenessDavid HarelDexter Kozenet al.1980FOCS 1980Conference paper