A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Symbolic transition systems separate data from process behaviour by a l l o wing the data to be uninstantiated. Designing a HML-like modal logic for these transition systems is interesting because of the subtle interplay b e t ween the quanti ers for the data and the modal operators (quanti ers on transitions). This paper presents the syntax and semantics of such a logic and discusses the design issues involved in its construction. The logic has been shown to be adequate with respect to strongdoi:10.1093/comjnl/45.1.55 fatcat:nsk57bd2cjfq5fsfy2v5qttsvy