Difference between revisions of "Event-B Language"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 10: | Line 10: | ||
* Chapter 7: [http://deploy-eprints.ecs.soton.ac.uk/116/ Concurrent Program Development] | * Chapter 7: [http://deploy-eprints.ecs.soton.ac.uk/116/ Concurrent Program Development] | ||
* Chapter 8: [http://deploy-eprints.ecs.soton.ac.uk/117/ Electronic Circuits Development] | * Chapter 8: [http://deploy-eprints.ecs.soton.ac.uk/117/ Electronic Circuits Development] | ||
+ | * Chapter 10: [http://deploy-eprints.ecs.soton.ac.uk/118/ Leader Election on a Ring-shaped Network] | ||
+ | * Chapter 11: [http://deploy-eprints.ecs.soton.ac.uk/119/ Synchronizing Processes on a Tree Network] | ||
+ | * Chapter 12: [http://deploy-eprints.ecs.soton.ac.uk/120/ Routing Algorithm for Mobile Agent] | ||
+ | * Chapter 13: [http://deploy-eprints.ecs.soton.ac.uk/121/ The Leader Election Protocol (IEEE1394)] | ||
== Event-B Language Documentation == | == Event-B Language Documentation == |
Revision as of 18:21, 19 June 2009
Contents
Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial
Sample Chapters of the books
This is available at event-b.org [1]
Slides and Rodin Platform archives of the developments corresponding to chapters of the books
- Chapter 1: Introduction
- Chapter 2: Controlling Cars on a Bridge
- Chapter 3: A Mechanical Press Controller
- Chapter 4: File Transfer Protocol
- Chapter 6: The Bounded Re-transmission Protocol
- Chapter 7: Concurrent Program Development
- Chapter 8: Electronic Circuits Development
- Chapter 10: Leader Election on a Ring-shaped Network
- Chapter 11: Synchronizing Processes on a Tree Network
- Chapter 12: Routing Algorithm for Mobile Agent
- Chapter 13: The Leader Election Protocol (IEEE1394)