Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Analysis of the Four-slot Mechanism

    1st BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 23rd - 24th September 1996


    P.J. Brooke, J.L. Jacob & J.M. Armstrong


    This paper presents an analysis of an asynchronous communication mechanism due to Simpson [4].

    The properties required of an abstract version of the mechanism are discussed. Simpson's mechanism is described in terms of a process algebraic model.

    We then use automated techniques to test this mechanism against the properties stated.


    PDF filePDF Version of this Paper (132kb)