Richard Shore

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
Abstract State Machines: Designing Distributed Systems with State Machines and B. B (1998)
Richard Shore
A Use Case Interpretation of B AMN. IWFM (1998)