The open archive for STFC research publications

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
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