Tasking Event-B Overview: Revision history

2 September 2013

• curprev 08:4308:43, 2 September 2013‎ imported>Andy‎ 9,606 bytes −2,052‎ →‎Implementing Events
• curprev 08:3108:31, 2 September 2013‎ imported>Andy‎ 11,658 bytes −21‎ →‎Synchronization
• curprev 08:1508:15, 2 September 2013‎ imported>Andy‎ 11,679 bytes +77‎ →‎Event Translation

29 August 2013

• curprev 14:5714:57, 29 August 2013‎ imported>Andy‎ 11,602 bytes −2‎ →‎Control Constructs (used in the Task body)
• curprev 14:5714:57, 29 August 2013‎ imported>Andy‎ 11,604 bytes −2‎ →‎Tasking Event-B
• curprev 14:5614:56, 29 August 2013‎ imported>Andy‎ 11,606 bytes 0‎ →‎Tasking Event-B
• curprev 14:5514:55, 29 August 2013‎ imported>Andy‎ 11,606 bytes +24‎ →‎Tasking Event-B
• curprev 14:5314:53, 29 August 2013‎ imported>Andy‎ 11,582 bytes +24‎ →‎Control Constructs
• curprev 14:5214:52, 29 August 2013‎ imported>Andy‎ 11,558 bytes −102‎ →‎Tasking Machines
• curprev 14:5214:52, 29 August 2013‎ imported>Andy‎ 11,660 bytes +12‎ →‎Tasking Machines
• curprev 14:5014:50, 29 August 2013‎ imported>Andy‎ 11,648 bytes −264‎ →‎Tasking Event-B

28 August 2012

• curprev 09:4509:45, 28 August 2012‎ imported>Andy‎ 11,912 bytes +1,198‎ →‎Control Constructs

15 May 2012

• curprev 07:5407:54, 15 May 2012‎ imported>Andy‎ 10,714 bytes 0‎ →‎State-Machines and Code Generation
• curprev 07:5307:53, 15 May 2012‎ imported>Andy‎ 10,714 bytes 0‎ →‎State-Machines and Code Generation
• curprev 07:5207:52, 15 May 2012‎ imported>Andy‎ 10,714 bytes 0‎ →‎State Machines and Code Generation
• curprev 07:5007:50, 15 May 2012‎ imported>Andy‎ 10,714 bytes +156‎ →‎Theories, for Generating Code
• curprev 07:4907:49, 15 May 2012‎ imported>Andy‎ 10,558 bytes +107‎ →‎Theories, for Generating Code

5 January 2012

• curprev 11:1811:18, 5 January 2012‎ imported>Andy‎ 10,451 bytes +1‎ →‎Control Constructs

29 November 2011

• curprev 17:2217:22, 29 November 2011‎ imported>Andy‎ 10,450 bytes +51‎ →‎References
• curprev 08:5708:57, 29 November 2011‎ imported>Andy‎ 10,399 bytes +1‎ →‎Implementing Events
• curprev 08:5608:56, 29 November 2011‎ imported>Andy‎ 10,398 bytes +32‎ →‎Implementing Events
• curprev 08:5508:55, 29 November 2011‎ imported>Andy‎ 10,366 bytes +78‎ →‎Addressed Variables
• curprev 08:5308:53, 29 November 2011‎ imported>Andy‎ 10,288 bytes −7‎ →‎Tasking Event-B

28 November 2011

• curprev 16:3016:30, 28 November 2011‎ imported>Andy‎ 10,295 bytes +6‎ →‎Implementing Events
• curprev 16:2916:29, 28 November 2011‎ imported>Andy‎ 10,289 bytes +3‎ →‎Event Translation
• curprev 16:2916:29, 28 November 2011‎ imported>Andy‎ 10,286 bytes +2‎ →‎Event Translation
• curprev 16:2516:25, 28 November 2011‎ imported>Andy‎ 10,284 bytes +36‎ →‎Event Translation
• curprev 16:2016:20, 28 November 2011‎ imported>Andy‎ 10,248 bytes −2‎ →‎Implementing Events
• curprev 16:1716:17, 28 November 2011‎ imported>Andy‎ 10,250 bytes −24‎ →‎Addressed Variables
• curprev 16:1416:14, 28 November 2011‎ imported>Andy‎ 10,274 bytes +8‎ →‎Implementing Events
• curprev 16:1316:13, 28 November 2011‎ imported>Andy‎ 10,266 bytes +161‎ →‎Implementing Events
• curprev 16:1016:10, 28 November 2011‎ imported>Andy‎ 10,105 bytes −4‎ →‎Implementing Events
• curprev 16:0816:08, 28 November 2011‎ imported>Andy‎ 10,109 bytes +6‎ →‎Implementing Events
• curprev 16:0816:08, 28 November 2011‎ imported>Andy‎ 10,103 bytes +63‎ →‎Implementing Events
• curprev 16:0716:07, 28 November 2011‎ imported>Andy‎ 10,040 bytes −6‎ →‎Implementing Events
• curprev 16:0616:06, 28 November 2011‎ imported>Andy‎ 10,046 bytes −524‎ →‎Implementing Events
• curprev 15:2815:28, 28 November 2011‎ imported>Andy‎ 10,570 bytes +4‎ →‎Implementing Events
• curprev 15:2715:27, 28 November 2011‎ imported>Andy‎ 10,566 bytes −4‎ →‎Implementing Events
• curprev 15:2615:26, 28 November 2011‎ imported>Andy‎ 10,570 bytes +27‎ →‎Implementing Events
• curprev 10:0210:02, 28 November 2011‎ imported>Andy‎ 10,543 bytes −7‎ →‎Implementing Events
• curprev 09:4409:44, 28 November 2011‎ imported>Andy‎ 10,550 bytes +2‎ →‎Implementing Events
• curprev 09:4409:44, 28 November 2011‎ imported>Andy‎ 10,548 bytes +151‎ →‎Implementing Events
• curprev 09:4109:41, 28 November 2011‎ imported>Andy‎ 10,397 bytes +32‎ →‎Implementing Events
• curprev 09:4009:40, 28 November 2011‎ imported>Andy‎ 10,365 bytes −121‎ →‎Implementing Events
• curprev 09:3609:36, 28 November 2011‎ imported>Andy‎ 10,486 bytes +1‎ →‎Synchronization
• curprev 09:3409:34, 28 November 2011‎ imported>Andy‎ 10,485 bytes −24‎ →‎Synchronization
• curprev 09:3309:33, 28 November 2011‎ imported>Andy‎ 10,509 bytes +164‎ →‎Event Translation
• curprev 09:2909:29, 28 November 2011‎ imported>Andy‎ 10,345 bytes +32‎ →‎Event Translation
• curprev 09:2709:27, 28 November 2011‎ imported>Andy‎ 10,313 bytes +6‎ →‎Event Translation
• curprev 09:2609:26, 28 November 2011‎ imported>Andy‎ 10,307 bytes +623‎ →‎Event Translation