Toggle Main Menu Toggle Search

Open Access padlockePrints

Expressing iterative properties logically in a symbolic setting

Lookup NU author(s): Dr Jeremy Bryans


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We present a logic for reasoning about state transition systems (LOTOS behaviours) which allows properties involving repeated patterns over actions and data to be expressed. The state transition systems are derived from LOTOS behaviours; however, the logic is applicable to any similar formalism. The semantics of the logic is given with respect to symbolic transition systems, allowing reasoning about data to be separated from reasoning about flow of control. Several motivational examples are included. © Springer-Verlag 2004.

Publication metadata

Author(s): Shankland C, Bryans J, Morel L

Editor(s): Rattray, C; Maharaj, S; Shankland, C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 10th International Conference on Algebraic Methodology and Software Technology (AMAST 2004)

Year of Conference: 2004

Pages: 460-474

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-540-27815-3_35

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540223819