Liveness: 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 16:2316:23, 28 October 2022‎ DavidGries talk contribs‎ 44 bytes −7,288‎ See the Talk for this page for the reasons for removing the content and redirecting to "Safety and liveness properties". undo Tag: New redirect

curprev 10:2610:26, 29 September 2022‎ Storchy talk contribs‎ 7,332 bytes −25‎ No edit summary undo

curprev 21:4121:41, 28 September 2022‎ DavidGries talk contribs‎ 7,357 bytes 0‎ No edit summary undo

curprev 19:4019:40, 22 March 2022‎ 2a00:23c5:fe18:2700:f8d1:ce33:d941:4c65 talk‎ 7,357 bytes 0‎ grammar: comma before "that" is wrong undo

curprev 21:4121:41, 11 December 2020‎ Monkbot talk contribs‎ m 7,357 bytes −90‎ Task 18 (cosmetic): eval 8 templates: del empty params (10×); undo Tag: AWB

curprev 20:3220:32, 16 July 2020‎ Bilorv talk contribs‎ m 7,447 bytes +16‎ link linear time property undo
curprev 16:1316:13, 16 July 2020‎ Bilorv talk contribs‎ 7,431 bytes +28‎ added Category:Model checking using HotCat undo

curprev 19:1719:17, 17 April 2020‎ OAbot talk contribs‎ m 7,403 bytes +20‎ Open access bot: doi added to citation with #oabot. undo

curprev 07:5207:52, 5 March 2020‎ Church of emacs talk contribs‎ 7,383 bytes +267‎ more intuitive explanation in the intro, using the typical "good" and "bad" notion undo

curprev 18:1318:13, 31 August 2019‎ The Anome talk contribs‎ 7,116 bytes −1‎ sp. undo Tag: Visual edit
curprev 18:1118:11, 31 August 2019‎ The Anome talk contribs‎ 7,117 bytes +4‎ concurrent systems undo Tag: 2017 wikitext editor

curprev 16:3116:31, 29 August 2019‎ Markoschuetz talk contribs‎ m 7,113 bytes −2‎ No edit summary undo
curprev 16:3116:31, 29 August 2019‎ Markoschuetz talk contribs‎ m 7,115 bytes +18‎ No edit summary undo

curprev 11:0911:09, 16 June 2019‎ I dream of horses talk contribs‎ m 7,097 bytes −24‎ Standard AWB cleanup, removed stub tag undo Tag: AWB

curprev 03:1203:12, 19 February 2019‎ Citation bot talk contribs‎ m 7,121 bytes +109‎ Alter: isbn, template type. Add: isbn, series, volume, year, citeseerx. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 10:2010:20, 4 February 2019‎ Cmarinas talk contribs‎ m 7,012 bytes 0‎ No edit summary undo

curprev 20:5520:55, 2 July 2018‎ 201.17.17.20 talk‎ 7,012 bytes −72‎ →‎Liveness and safety undo
curprev 20:5020:50, 2 July 2018‎ 201.17.17.20 talk‎ 7,084 bytes +880‎ →‎Liveness and safety undo

curprev 13:5713:57, 27 April 2018‎ Danhash talk contribs‎ 6,204 bytes −5‎ →‎Liveness and safety: rm whitespace, reference punctuation undo
curprev 13:5713:57, 27 April 2018‎ Danhash talk contribs‎ m 6,209 bytes −2‎ →‎Forms of liveness: rm whitespace undo

curprev 14:2214:22, 3 April 2018‎ 146.164.2.145 talk‎ 5,341 bytes −1‎ No edit summary undo
curprev 14:2214:22, 3 April 2018‎ 146.164.2.145 talk‎ 5,342 bytes +445‎ witness undo Tag: Visual edit

curprev 14:5514:55, 29 March 2018‎ 146.164.41.58 talk‎ 4,897 bytes +141‎ No edit summary undo
curprev 14:4714:47, 29 March 2018‎ 146.164.41.58 talk‎ 4,756 bytes +149‎ No edit summary undo

curprev 05:5305:53, 9 April 2016‎ Yobot talk contribs‎ m 3,676 bytes 0‎ WP:CHECKWIKI error fixes using AWB (12000) undo

curprev 03:1303:13, 8 April 2016‎ C76 talk contribs‎ 3,676 bytes −53‎ It's not true that most non-trivial properties are neither safety nor liveness. undo

curprev 05:1005:10, 22 February 2016‎ 24.212.193.99 talk‎ 3,729 bytes −171‎ →‎External links: removing b undo

curprev 12:3312:33, 2 September 2015‎ Dexbot talk contribs‎ m 3,900 bytes +685‎ Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 15:0015:00, 9 August 2015‎ BattyBot talk contribs‎ m 3,215 bytes −3‎ fixed citation template(s) to remove page from Category:CS1 maint: Extra text & general fixes, replaced: {{cite book|last=Luís Rodrigues|first=Christian Cachin; Rachid Guerraoui|title=Introductio using AWB (11334) undo

curprev 11:4611:46, 25 May 2015‎ Qwertyus talk contribs‎ 3,218 bytes +1,950‎ this applies to all of concurrent computing, not just distributed computing; expand with section about different forms undo

curprev 16:4816:48, 26 January 2015‎ 2a01:e34:eeac:b8b0:221:6aff:fe9c:e2c talk‎ 1,268 bytes −1‎ No edit summary undo

curprev 11:4111:41, 27 February 2014‎ Hengxin0912 talk contribs‎ 1,269 bytes +3‎ A liveness property cannot be violated in a finite...: can => cannot undo

curprev 13:1313:13, 7 January 2014‎ The Anome talk contribs‎ 1,266 bytes 0‎ bypass redirect undo

curprev 18:1718:17, 19 December 2013‎ 67.207.118.242 talk‎ 1,266 bytes +31‎ No edit summary undo

curprev 09:4109:41, 23 October 2013‎ 131.159.48.14 talk‎ 1,235 bytes −1‎ No edit summary undo

curprev 13:4513:45, 30 June 2013‎ Acetotyce talk contribs‎ m 1,236 bytes +3‎ clean up using AWB undo

curprev 00:1100:11, 19 June 2013‎ Neilc talk contribs‎ m 1,233 bytes 0‎ No edit summary undo

curprev 23:2323:23, 18 June 2013‎ Pbailis talk contribs‎ 1,233 bytes +48‎ Adding reference to Lamport's original paper for safety and liveness. undo
curprev 23:2023:20, 18 June 2013‎ Pbailis talk contribs‎ 1,185 bytes −10‎ No edit summary undo
curprev 23:1923:19, 18 June 2013‎ Pbailis talk contribs‎ 1,195 bytes +1,195‎ Create Liveness (Distributed Computing).

28 October 2022

29 September 2022

28 September 2022

22 March 2022

11 December 2020

16 July 2020

17 April 2020

5 March 2020

31 August 2019

29 August 2019

16 June 2019

19 February 2019

4 February 2019

2 July 2018

27 April 2018

9 April 2018

3 April 2018

29 March 2018

27 March 2018

9 April 2016

8 April 2016

22 February 2016

2 September 2015

9 August 2015

25 May 2015

26 January 2015

27 February 2014

7 January 2014

19 December 2013

23 October 2013

30 June 2013

19 June 2013

18 June 2013