A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification

Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing, . (Full text available)

Download (479kB) Preview
Download (421kB)


Simple state-based models use events corresponding to sets of prestate, poststate pairs of system states, and solve the frame problem --- i.e. knowing what else has changed, given that an event has occurred --- by assuming non-concurrent events that uniquely determine the poststate. However, such events are `overspecified' and thus not reusable in other models. This paper describes a more flexible approach to state-based concurrency and the frame problem, in which events --- loosely specified in semantic terms --- may occur simultaneously and can be reused in different contexts without `promotion'.

Item Type: Article
Additional information: (Submitted to journal, currently being refereed.)
Uncontrolled keywords: State-based formal specification, non-interleaving concurrency, the frame problem
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 12 Sep 2009 19:01 UTC
Last Modified: 12 Jan 2017 11:31 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21965 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year