Summary: Stratified Causal Theories for Reasoning about Deterministic Devices and
Protocols
Antony Galton
University of Exeter
Exeter, UK
apgalton@ex.ac.uk
Juan Carlos Augusto
University of Southampton
Southampton, UK.
jca@ecs.soton.ac.uk
Abstract
We present a method for formalising the behaviour
of simple deterministic devices and protocols in a way
that makes explicit the causal dependencies amongst
the component elements, thereby allowing true causal
(as opposed to purely temporal) reasoning. Our inten-
tion is to handle such systems effectively in the sim-
plest possible way, without invoking additional prob-
lematic considerations (concerning, for example, non-
monotonicity) that may be necessary for modelling a

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

Collections: Computer Technologies and Information Sciences