Abstract |
---|
In this paper we introduce an abstract object-based language withintra-object-concurrency based on Object REXX. We define the formalsemantics of the language by translating object systems into termsof a process algebra. Instead of identifying objects with processes,we distinguish in the semantics active processes from passive objects.Method invocation is translated into process calls. Furthermore,weak bisimulation is used as an equivalence relation on object systems. |
Contact |
Thomas Gehrke Institut fuer Informatik,Universitaet Hildesheim,Postfach 101363,D-31113 Hildesheim,Germany gehrke@informatik.uni-hildesheim.de |