Construction and Analysis of Distributed Processes: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 13:4413:44, 9 January 2025 Vasywriter talk contribs m 22,896 bytes +31 →Major releases: added "Eindhoven" version undo
curprev 13:4313:43, 9 January 2025 Vasywriter talk contribs 22,865 bytes 0 updated stable release date undo

curprev 17:2817:28, 4 April 2024 Widefox talk contribs m 22,865 bytes +6 →top: bold alt article name per MOS, undo

curprev 16:5016:50, 4 May 2023 Vasywriter talk contribs 22,859 bytes +440 added ETAPS 2023 Test-of-Time Tool Award undo

curprev 13:0413:04, 3 March 2023 194.199.23.98 talk 22,419 bytes +28 →Major releases undo
curprev 13:0213:02, 3 March 2023 194.199.23.98 talk 22,391 bytes 0 No edit summary undo

curprev 09:5309:53, 21 December 2022 Vasywriter talk contribs 22,391 bytes +27 →Major releases: added 2022 version "Kista" undo

curprev 09:2509:25, 20 December 2021 Vasywriter talk contribs 22,364 bytes +34 →Major releases undo

curprev 02:4902:49, 8 December 2021 Citation bot talk contribs 22,330 bytes +115 Alter: url. URLs might have been anonymized. Add: archive-date, archive-url. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/url=web.archive.org | #UCB_webform_linked 831/2193 undo

curprev 13:2713:27, 25 November 2021 Vasywriter talk contribs m 22,215 bytes 0 →Awards undo
curprev 13:2313:23, 25 November 2021 Vasywriter talk contribs 22,215 bytes +504 →Awards: Inria Innovation Prize – Académie des sciences – Dassault Systèmes undo

curprev 09:2209:22, 21 March 2021 Vasywriter talk contribs 21,711 bytes +913 →Awards: RERS 2020 undo

curprev 15:1815:18, 9 January 2020 Vasywriter talk contribs 19,162 bytes +26 →Major releases: mentioned version "Pisa" undo

curprev 10:0810:08, 7 January 2019 Vasywriter talk contribs 19,136 bytes +29 mentioned latest 2018 release "Uppsala" undo
curprev 10:0510:05, 7 January 2019 Vasywriter talk contribs 19,107 bytes −8 updated and fixed details in the software description cartouche undo

curprev 13:2413:24, 26 July 2017 Vasywriter talk contribs m 19,030 bytes +1 →Major releases undo
curprev 13:2413:24, 26 July 2017 Vasywriter talk contribs 19,029 bytes +355 →Major releases undo
curprev 13:1613:16, 26 July 2017 Vasywriter talk contribs 18,674 bytes +44 →History: added change list URL undo
curprev 13:1413:14, 26 July 2017 Vasywriter talk contribs 18,630 bytes −31 →Major releases: more precise chronology of early versions undo

curprev 11:5111:51, 11 June 2017 Codename Lisa talk contribs 18,661 bytes −49 →top: Infobox cleanup undo

curprev 23:3823:38, 20 May 2017 Mild Bill Hiccup talk contribs 18,710 bytes −25 →CADP features: Cleaned up using AutoEd; Spelling/grammar correction undo

curprev 09:4009:40, 16 January 2017 Vasywriter talk contribs 18,735 bytes −5 No edit summary undo
curprev 09:3909:39, 16 January 2017 Vasywriter talk contribs 18,740 bytes +28 →Major releases undo

curprev 15:4915:49, 13 January 2016 Vasywriter talk contribs 18,712 bytes −23 →Major releases undo
curprev 15:4715:47, 13 January 2016 Vasywriter talk contribs 18,735 bytes +35 No edit summary undo

curprev 13:2313:23, 24 December 2015 Christian75 talk contribs 18,700 bytes +1 clean up, typo(s) fixed: Therefore → Therefore, using AWB undo

curprev 10:4310:43, 16 June 2014 Compfreak7 talk contribs 18,871 bytes +79 Filling in 1 references using Reflinks undo

curprev 17:5917:59, 12 March 2014 Vasywriter talk contribs 18,792 bytes +102 No edit summary undo
curprev 17:5317:53, 12 March 2014 Vasywriter talk contribs 18,690 bytes +27 →External links undo
curprev 17:5317:53, 12 March 2014 Vasywriter talk contribs 18,663 bytes +28 →Major releases undo
curprev 17:5217:52, 12 March 2014 Vasywriter talk contribs 18,635 bytes −3 No edit summary undo

curprev 08:0508:05, 25 February 2014 194.199.23.66 talk 18,638 bytes +24 infobox, developer : VASY -> CONVECS undo

curprev 12:2312:23, 19 September 2013 212.247.53.108 talk 18,614 bytes +31 The team that develops this product is the CONVECS team and not the VASY team. undo Tag: Visual edit

9 January 2025

4 April 2024

4 May 2023

3 March 2023

21 December 2022

20 December 2021

8 December 2021

25 November 2021

21 March 2021

11 January 2021

9 January 2020

7 January 2019

27 December 2017

26 July 2017

11 June 2017

20 May 2017

16 January 2017

13 January 2016

24 December 2015

14 December 2014

16 June 2014

12 March 2014

25 February 2014

19 September 2013