Tasking Event-B Tutorial: Revision history

2 September 2013

• curprev 12:4112:41, 2 September 2013‎ imported>Andy‎ 11,614 bytes −77‎ →‎Invoking the Translators
• curprev 12:4012:40, 2 September 2013‎ imported>Andy‎ 11,691 bytes −676‎ →‎A Summary of Steps
• curprev 12:4012:40, 2 September 2013‎ imported>Andy‎ 12,367 bytes −1,159‎ →‎The Environ Machine
• curprev 12:3812:38, 2 September 2013‎ imported>Andy‎ 13,526 bytes +601‎ →‎The Environ Machine
• curprev 12:3512:35, 2 September 2013‎ imported>Andy‎ 12,925 bytes +65‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 12:3412:34, 2 September 2013‎ imported>Andy‎ 12,860 bytes 0‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 12:3412:34, 2 September 2013‎ imported>Andy‎ 12,860 bytes −6‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 12:2812:28, 2 September 2013‎ imported>Andy‎ 12,866 bytes −24‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 12:2612:26, 2 September 2013‎ imported>Andy‎ 12,890 bytes +19‎ →‎The Environ Machine
• curprev 12:2512:25, 2 September 2013‎ imported>Andy‎ 12,871 bytes +5‎ →‎The Environ Machine
• curprev 12:2312:23, 2 September 2013‎ imported>Andy‎ 12,866 bytes −24‎ →‎The Environ Machine
• curprev 12:1812:18, 2 September 2013‎ imported>Andy‎ 12,890 bytes −875‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 12:1312:13, 2 September 2013‎ imported>Andy‎ 13,765 bytes +87‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 10:5110:51, 2 September 2013‎ imported>Andy‎ 13,678 bytes +109‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 10:4310:43, 2 September 2013‎ imported>Andy‎ 13,569 bytes +1‎ →‎Adding Tasking Event-B
• curprev 10:4210:42, 2 September 2013‎ imported>Andy‎ 13,568 bytes −326‎ →‎Adding Tasking Event-B
• curprev 10:2310:23, 2 September 2013‎ imported>Andy‎ 13,894 bytes −622‎ →‎Removing Non-deterministic Constructs
• curprev 10:2210:22, 2 September 2013‎ imported>Andy‎ 14,516 bytes +16‎ →‎Pre-processing
• curprev 10:2110:21, 2 September 2013‎ imported>Andy‎ 14,500 bytes −224‎ →‎Pre-processing
• curprev 09:5809:58, 2 September 2013‎ imported>Andy‎ 14,724 bytes 0‎ →‎Download and Copy the Theories
• curprev 09:5709:57, 2 September 2013‎ imported>Andy‎ 14,724 bytes +223‎ →‎Download and Copy the Theories
• curprev 09:4609:46, 2 September 2013‎ imported>Andy‎ 14,501 bytes +63‎ →‎Tasking Event-B Tutorial Overview
• curprev 09:2809:28, 2 September 2013‎ imported>Andy‎ 14,438 bytes −134‎ →‎Tasking Event-B Tutorial Overview
• curprev 08:5708:57, 2 September 2013‎ imported>Andy‎ 14,572 bytes +2‎ No edit summary
• curprev 08:5708:57, 2 September 2013‎ imported>Andy‎ 14,570 bytes +30‎ No edit summary
• curprev 08:5608:56, 2 September 2013‎ imported>Andy‎ 14,540 bytes +3‎ →‎Tasking Event-B Tutorial Overview
• curprev 08:5508:55, 2 September 2013‎ imported>Andy‎ 14,537 bytes −13‎ →‎Tasking Event-B Tutorial Overview

29 August 2013

• curprev 14:0714:07, 29 August 2013‎ imported>Andy‎ 14,550 bytes +1‎ →‎Download and Copy the Theories
• curprev 14:0614:06, 29 August 2013‎ imported>Andy‎ 14,549 bytes +12‎ →‎Download and Copy the Theories
• curprev 14:0614:06, 29 August 2013‎ imported>Andy‎ 14,537 bytes −41‎ →‎Download and Copy the Theories

8 May 2012

• curprev 13:2013:20, 8 May 2012‎ imported>Andy‎ 14,578 bytes −2‎ →‎The Environ Machine
• curprev 13:2013:20, 8 May 2012‎ imported>Andy‎ 14,580 bytes +1,304‎ →‎Providing the correct Composed Machine
• curprev 13:1913:19, 8 May 2012‎ imported>Andy‎ 13,276 bytes −1,298‎ →‎Removing Non-deterministic Constructs
• curprev 13:1113:11, 8 May 2012‎ imported>Andy‎ 14,574 bytes +100‎ →‎Adding Tasking Event-B
• curprev 13:1013:10, 8 May 2012‎ imported>Andy‎ 14,474 bytes +95‎ →‎Adding Tasking Event-B
• curprev 13:0713:07, 8 May 2012‎ imported>Andy‎ 14,379 bytes −117‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 11:2911:29, 8 May 2012‎ imported>Andy‎ 14,496 bytes +26‎ →‎The Temp_Ctrl_TaskImpl Machine
• curprev 10:5210:52, 8 May 2012‎ imported>Andy‎ 14,470 bytes +46‎ →‎Adding Tasking Event-B
• curprev 10:4910:49, 8 May 2012‎ imported>Andy‎ 14,424 bytes +140‎ →‎Adding Tasking Event-B
• curprev 10:1210:12, 8 May 2012‎ imported>Andy‎ 14,284 bytes −1‎ No edit summary
• curprev 10:0910:09, 8 May 2012‎ imported>Andy‎ 14,285 bytes −1‎ →‎Removing Non-deterministic Constructs
• curprev 10:0810:08, 8 May 2012‎ imported>Andy‎ 14,286 bytes −1‎ →‎Providing the correct Composed Machine
• curprev 10:0810:08, 8 May 2012‎ imported>Andy‎ 14,287 bytes +53‎ No edit summary
• curprev 10:0510:05, 8 May 2012‎ imported>Andy‎ 14,234 bytes +18‎ →‎Adding the Implementation Level Refinement
• curprev 10:0210:02, 8 May 2012‎ imported>Andy‎ 14,216 bytes +61‎ →‎Adding the Implementation Level Refinement
• curprev 09:5609:56, 8 May 2012‎ imported>Andy‎ 14,155 bytes +69‎ →‎Pre-processing

22 March 2012

• curprev 14:0414:04, 22 March 2012‎ imported>Andy‎ 14,086 bytes +2‎ →‎Download and Copy the Theories
• curprev 14:0414:04, 22 March 2012‎ imported>Andy‎ 14,084 bytes −21‎ →‎Download and Copy the Theories
• curprev 12:1412:14, 22 March 2012‎ imported>Andy‎ 14,105 bytes +1‎ →‎A Summary of Steps
• curprev 12:1412:14, 22 March 2012‎ imported>Andy‎ 14,104 bytes −23‎ →‎Using the Tasking Extension