On modelling and verifying railway interlockings: Tracking train lengths

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Engineering, Software Systems, B Method +27

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Engineering, Automated Reasoning, Concurrency Theory +8

The b-book: Assigning programs to meanings

Computers & Mathematics with Applications · 1997 · 287 citations

Syntax, Engineering, Declarative Programming +9

Formal development and verification of a distributed railway control system

Anne E. Haxthausen, Jan Peleška · IEEE Transactions on Software Engineering · 2000 · 115 citations

Railway Traffic, Engineering, Networked Control +18

CSP theorems for communicating B machines

Steve Schneider, Helen Treharne · Formal Aspects of Computing · 2005 · 82 citations · Full text