Skip to content

Using a Process Algebra to Control B Operations.

Helen Treharne, Steve A. Schneider

VenueBIFM
Year1999
ProceedingsIFM

Browse the full IFM paper archive.