Abstract State Machines: Designing Distributed Systems with State Machines and B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore. Abstract State Machines: Designing Distributed Systems with State Machines and B. In Didier Bert, editor, B 98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Volume 1393 of Lecture Notes in Computer Science, pages 226-242, Springer, 1998. [doi]

This author has not been identified. Look up 'Bill Stoddart' in GoogleThis author has not been identified. Look up 'Steve Dunne' in GoogleThis author has not been identified. Look up 'Andy Galloway' in GoogleThis author has not been identified. Look up 'Richard Shore' in Google

runs on WebDSL