Book 1999

IFM’99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

ISBN: 978-1-85233-107-8 (Print) 978-1-4471-0851-1 (Online)

Table of contents (24 chapters)

Page of 2 next
  1. (Abstract + Action) Systems

    1. Front Matter

      Pages 373-373

    2. No Access

      Chapter and Conference Paper

      Pages 395-414

      Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems

    3. No Access

      Chapter and Conference Paper

      Pages 415-434

      Reactive System Refinement of Distributed Systems in B

  2. The B Method: Behaviour and Retrenchment

    1. Front Matter

      Pages 435-435

    2. No Access

      Chapter and Conference Paper

      Pages 437-456

      Using a Process Algebra to control B OPERATIONS

    3. No Access

      Chapter and Conference Paper

      Pages 457-476

      Retrenchment and Punctured Simulation

  3. Back Matter

    Pages 477-477

Page of 2 next