This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed se

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information syste