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