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 data sharing , modularisation , B-Method , B , interference , state sharing , compositional structuring
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 1st International Conference of B and Z Users, York, England, 29 Aug 2000 - 2 Sep 2000, (2000): 107-126. doi:10.1007/3-540-44525-0_8 2000