ePubs

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