Reactive System Refinement of Distributed Systems in B.

Kevin Lano, Kelly Androutsopoulos

Browse the full IFM paper archive.