ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/33534
Record Status
Checked
Record Id
33534
Title
Do not read this
Contributors
JC Bicarregui (CCLRC Rutherford Appleton Lab.)
Abstract
We discuss the interpretation of read and write frames in model-oriented specification taking the B’s generalised substitutions as the vehicle for the presentation. In particular, we focus on the interpretation of read frames, the semantics of which have not been considered by previous authors. We gives several examples of the relevance of read frames and show that a substitution admits a read respecting implementation if and only if a certain bisimulation condition is satisfied. We use this to motivate a richer semantic model for substitutions which interprets read and write constraints directly in the denotation of a substitution. This semantics yields some non-interference results between substitutions which cannot be given at this level without the use of read and write frames.
Organisation
CCLRC
,
ESC
Keywords
Funding Information
Related Research Object(s):
48894037
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In FME 2002:Formal Methods - Getting IT Right (FME 2002), Copenhagen, Denmark, 22-24 Jul 2002, (2002): 106-125.
https://doi.org/10.1007/3-540-45614-7_7
2002
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar