Sciweavers

ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
14 years 4 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider