Empty Interworkings and Refinement Semantics of Interworkings Revised

摘要

The semantics for Interworkings from (MvWW93) does not give a proper meaning toempty entities and empty Interworkings. Furthermore, the process algebra considered has to be extended in order to define refinement of Interworkings. For these purposes, we give a revision and extension of the semantics.