Probabilistic bisimulation: 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 02:2902:29, 26 March 2025 Citation bot talk contribs 2,898 bytes +1 Misc citation tidying. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Theoretical computer science | #UCB_Category 15/137 undo

curprev 04:4304:43, 31 July 2024 GreenC bot talk contribs 2,897 bytes +53 Move 1 url. Wayback Medic 2.5 per WP:URLREQ#ieee.org undo

curprev 12:5012:50, 20 March 2024 157.193.240.152 talk 2,844 bytes +28 No edit summary undo

curprev 08:4908:49, 30 January 2023 OAbot talk contribs m 2,816 bytes +20 Open access bot: hdl added to citation with #oabot. undo

curprev 03:5603:56, 3 January 2023 Citation bot talk contribs 2,796 bytes +19 Add: hdl. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 277/2500 undo

curprev 00:2600:26, 30 May 2021 Citation bot talk contribs 2,777 bytes +2 Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform undo

curprev 18:2618:26, 11 July 2019 Citation bot talk contribs m 2,775 bytes +61 Add: url. | You can use this bot yourself. Report bugs here.| Activated by User:Marianne Zimmerman undo

curprev 03:4703:47, 15 March 2019 Citation bot talk contribs m 2,714 bytes −72 Alter: issue. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 07:4807:48, 19 July 2016 Rjwilmsi talk contribs m 2,786 bytes +7 →top: Journal cites:, completed 1 page range using AWB (12052) undo

curprev 14:3614:36, 14 July 2016 Rjwilmsi talk contribs m 2,779 bytes +80 →top: Journal cites:, using AWB (12052) undo

curprev 15:5715:57, 15 May 2016 193.136.19.80 talk 2,699 bytes +318 No edit summary undo

curprev 20:0520:05, 24 November 2014 Monkbot talk contribs m 2,381 bytes −22 Task 6k: add |script-title=; replace {{xx icon}} with |language= in CS1 citations; clean up language icons; undo

curprev 00:4200:42, 11 February 2014 Monkbot talk contribs m 2,403 bytes −22 Fix CS1 deprecated date parameter errors undo

curprev 19:4519:45, 13 May 2013 John talk contribs m 2,425 bytes −30 Reverted edits by Sol1 (talk) to last version by Addbot undo
curprev 16:0516:05, 13 May 2013 Sol1 talk contribs m 2,455 bytes +30 No edit summary undo

curprev 16:5316:53, 9 January 2013 Addbot talk contribs m 2,425 bytes −29 Bot: Removing Orphan Tag (Nolonger an Orphan) (Report Errors) undo

curprev 23:0823:08, 5 May 2012 Helpful Pixie Bot talk contribs m 2,454 bytes +3 ISBNs (Build KC) undo

curprev 02:0702:07, 22 November 2011 Michael Hardy talk contribs 2,451 bytes −8 No edit summary undo
curprev 02:0602:06, 22 November 2011 Michael Hardy talk contribs 2,459 bytes +102 No edit summary undo

curprev 22:3422:34, 12 November 2011 Bender2k14 talk contribs m 2,357 bytes +439 improved reference (by using a template) undo

curprev 16:3616:36, 7 March 2009 Gareth Jones talk contribs m 1,918 bytes +76 adding hyperlink to referenced paper undo
curprev 16:3116:31, 7 March 2009 Gensanders talk contribs m 1,842 bytes +1 Correcting spelling: probablistic->probabilistic undo
curprev 16:3016:30, 7 March 2009 Gareth Jones talk contribs 1,841 bytes +465 I think the definition of probabilistic bisimulation still needs work undo

curprev 14:1514:15, 19 February 2009 Addbot talk contribs m 1,376 bytes +30 Bot: Adding Orphan Tag (Questions) (Report Errors) undo

curprev 08:1508:15, 17 January 2008 Tea2min talk contribs m 1,346 bytes +26 Added link to state transition system undo

curprev 21:5521:55, 17 August 2007 Biscuittin talk contribs 1,320 bytes +25 layout change undo
curprev 21:5221:52, 17 August 2007 Biscuittin talk contribs 1,295 bytes +16 added cat undo
curprev 21:5121:51, 17 August 2007 Biscuittin talk contribs 1,279 bytes +13 heading ==Sources== undo
curprev 21:5021:50, 17 August 2007 Biscuittin talk contribs 1,266 bytes +10 bold title and link undo

curprev 08:0708:07, 23 July 2007 Alaibot talk contribs m 1,256 bytes +33 Robot: tagging uncategorised page undo

curprev 21:5221:52, 12 June 2007 Panangaden talk contribs 1,223 bytes +1,223 Created this page

Probabilistic bisimulation: Revision history

26 March 2025

31 July 2024

20 March 2024

30 January 2023

3 January 2023

30 May 2021

11 July 2019

15 March 2019

19 July 2016

14 July 2016

15 May 2016

24 November 2014

11 February 2014

13 May 2013

9 January 2013

5 May 2012

22 November 2011

12 November 2011

7 March 2009

19 February 2009

17 January 2008

17 August 2007

23 July 2007

12 June 2007