Parallel Composition using Event-B: Revision history

4 July 2013

• curprev 11:0211:02, 4 July 2013‎ imported>Asiehsalehi‎ 7,542 bytes −3,086‎ →‎Releases
• curprev 11:0011:00, 4 July 2013‎ imported>Asiehsalehi‎ 10,628 bytes −96‎ →‎Shared Event Composition Plug-in
• curprev 10:5910:59, 4 July 2013‎ imported>Asiehsalehi‎ 10,724 bytes −1,039‎ →‎News

16 August 2012

• curprev 11:0511:05, 16 August 2012‎ imported>Renato‎ 11,763 bytes +285‎ →‎Releases
• curprev 11:0211:02, 16 August 2012‎ imported>Renato‎ 11,478 bytes +95‎ →‎News

25 June 2012

• curprev 09:5109:51, 25 June 2012‎ imported>Renato‎ 11,383 bytes +137‎ →‎Bugs, Features and Comments
• curprev 09:0709:07, 25 June 2012‎ imported>Renato‎ 11,246 bytes +110‎ →‎Version 1.5.0
• curprev 09:0609:06, 25 June 2012‎ imported>Renato‎ 11,136 bytes +94‎ →‎News

1 June 2012

• curprev 16:3616:36, 1 June 2012‎ imported>Renato‎ 11,042 bytes +645‎ →‎Releases
• curprev 16:3116:31, 1 June 2012‎ imported>Renato‎ 10,397 bytes +93‎ →‎News

29 June 2011

• curprev 14:3314:33, 29 June 2011‎ imported>Renato‎ 10,304 bytes +215‎ →‎Releases
• curprev 14:3214:32, 29 June 2011‎ imported>Renato‎ 10,089 bytes +2‎ →‎Features
• curprev 14:3214:32, 29 June 2011‎ imported>Renato‎ 10,087 bytes −60‎ →‎Features
• curprev 14:3214:32, 29 June 2011‎ imported>Renato‎ 10,147 bytes +93‎ →‎News

9 March 2011

• curprev 16:0216:02, 9 March 2011‎ imported>Renato‎ 10,054 bytes +532‎ →‎Releases
• curprev 16:0016:00, 9 March 2011‎ imported>Renato‎ 9,522 bytes +91‎ →‎News

11 November 2010

• curprev 16:0016:00, 11 November 2010‎ imported>Renato‎ 9,431 bytes −8‎ →‎Version 1.2.0

8 November 2010

• curprev 12:2112:21, 8 November 2010‎ imported>Renato‎ 9,439 bytes +335‎ →‎Releases
• curprev 12:1912:19, 8 November 2010‎ imported>Renato‎ 9,104 bytes +91‎ →‎News

5 November 2010

• curprev 16:2216:22, 5 November 2010‎ imported>Renato‎ 9,013 bytes +930‎ →‎Installing/Updating
• curprev 16:1916:19, 5 November 2010‎ imported>Renato‎ 8,083 bytes +1‎ →‎Installing/Updating

28 May 2010

• curprev 17:3417:34, 28 May 2010‎ imported>Renato‎ 8,082 bytes 0‎ →‎News
• curprev 17:3417:34, 28 May 2010‎ imported>Renato‎ 8,082 bytes −1‎ →‎Version 1.1.7
• curprev 17:3417:34, 28 May 2010‎ imported>Renato‎ 8,083 bytes −1‎ →‎Version 1.1.6
• curprev 17:3317:33, 28 May 2010‎ imported>Renato‎ 8,084 bytes +236‎ →‎Releases
• curprev 17:3117:31, 28 May 2010‎ imported>Renato‎ 7,848 bytes +94‎ →‎News

2 March 2010

• curprev 18:2618:26, 2 March 2010‎ imported>Renato‎ 7,754 bytes +56‎ →‎Features
• curprev 18:2518:25, 2 March 2010‎ imported>Renato‎ 7,698 bytes +88‎ →‎Releases
• curprev 18:2518:25, 2 March 2010‎ imported>Renato‎ 7,610 bytes +95‎ →‎News
• curprev 16:5616:56, 2 March 2010‎ imported>Renato‎ 7,515 bytes +1‎ →‎News

6 November 2009

• curprev 12:4712:47, 6 November 2009‎ imported>Renato‎ 7,514 bytes +95‎ →‎News

2 November 2009

• curprev 16:0316:03, 2 November 2009‎ imported>Renato‎ 7,419 bytes −211‎ →‎Usage
• curprev 16:0216:02, 2 November 2009‎ imported>Renato‎ 7,630 bytes +240‎ →‎Releases

3 July 2009

• curprev 15:0115:01, 3 July 2009‎ imported>Renato‎ 7,390 bytes +255‎ →‎Version 1.1.2
• curprev 14:5914:59, 3 July 2009‎ imported>Renato‎ 7,135 bytes +89‎ →‎News

2 July 2009

• curprev 11:2111:21, 2 July 2009‎ imported>Renato‎ 7,046 bytes +839‎ Update for the version 1.1.2 for shared event composition, compatible with Rodin 1.0.0

4 March 2009

• curprev 08:5908:59, 4 March 2009‎ imported>Mathieu‎ m 6,207 bytes +4‎ Category:Parallel composition plugin

26 February 2009

• curprev 17:2217:22, 26 February 2009‎ imported>Renato‎ 6,203 bytes −65‎ No edit summary
• curprev 17:2117:21, 26 February 2009‎ imported>Renato‎ 6,268 bytes −424‎ No edit summary

29 January 2009

• curprev 14:2514:25, 29 January 2009‎ imported>Laurent‎ m 6,692 bytes −2‎ No edit summary

17 December 2008

• curprev 16:3516:35, 17 December 2008‎ imported>WikiSysop‎ 6,694 bytes 0‎ No edit summary
• curprev 16:3416:34, 17 December 2008‎ imported>WikiSysop‎ 6,694 bytes −68‎ No edit summary

10 December 2008

• curprev 17:5817:58, 10 December 2008‎ imported>Renato‎ 6,762 bytes +3,481‎ No edit summary

11 November 2008

• curprev 20:2920:29, 11 November 2008‎ imported>Mathieu‎ m 3,281 bytes −6‎ Renato/silva
• curprev 20:2820:28, 11 November 2008‎ imported>Mathieu‎ m 3,287 bytes +70‎ categiories
• curprev 17:3717:37, 11 November 2008‎ imported>WikiSysop‎ 3,217 bytes +1‎ No edit summary
• curprev 17:3517:35, 11 November 2008‎ imported>Renato‎ 3,216 bytes +40‎ No edit summary
• curprev 17:3017:30, 11 November 2008‎ imported>Renato‎ 3,176 bytes +667‎ No edit summary
• curprev 17:2117:21, 11 November 2008‎ imported>Renato‎ 2,509 bytes −6‎ No edit summary
• curprev 15:4515:45, 11 November 2008‎ imported>Renato‎ 2,515 bytes +2,515‎ New page: Renato at Southampton is in charge of the Parallel Composition using Event-B. Composition is the process on which it is possible to combine different sub-systems in...