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/28939
Record Status
Checked
Record Id
28939
Title
Compositional structuring in the B-method: a logical viewpoint of the static context
Contributors
T Dimitrakos (CCLRC Rutherford Appleton Lab.)
,
J Bicarregui (CCLRC Rutherford Appleton Lab.)
,
B Matthews (CCLRC Rutherford Appleton Lab.)
,
T Maibaum
Abstract
Organisation
CCLRC
,
BITD
Keywords
modularisation
,
B
,
compositional structuring
,
interference
,
B-Method
,
state sharing
,
data sharing
Funding Information
Related Research Object(s):
49250835
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Journal Article
Lecture Notes in Computer Science 1878 (2000): 107-126. Is in proceedings of: International Conference of B and Z Users (ZB 2000), York, United Kingdom, 29-Aug-2000 to 02-Sep-2000.
https://doi.org/10.1007/3-540-44525-0_8
2000
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