Corina Cirstea.
June 1995, 77pp.
FOOPS is a concurrent object-oriented specification language for which an operational semantics has been provided. This paper gives an equivalent distributed semantics which describes how FOOPS objects co-operate in evaluating a program. The distributed semantics is presented using transition systems. We relate transition systems and sheaves to also give a sheaf-theoretic semantics. By implementing the distributed semantics in Eqlog, we obtain a FOOPS simulator. Thus, our distributed semantics is both axiomatic and executable.