Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing .
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'.
|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 > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||12 Sep 2009 19:01|
|Last Modified:||06 Sep 2011 04:09|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21965 (The current URI for this page, for reference purposes)|
- Depositors only (login required):