Expressing Iterative Properties Logically in a Symbolic Setting (2008)
C. Shankl, J. Bryans, L. Morel
Abstract. We present a logic for reasoning about LOTOS behaviours whichallows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is given with...
C. Shankl, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Carron Shankland, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9831 (1998)
C. Shankl, Issn -x, Carron Shankl
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of