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 12:3412:34, 20 March 2024‎ 157.193.240.152 talk‎ 14,215 bytes +136‎ No edit summary undo

curprev 22:4722:47, 26 September 2023‎ Quuxplusone talk contribs‎ 14,079 bytes +269‎ →‎Variants of bisimulation: migrate Pous2005 reference from Up to (where it is definitely trivia/idiosyncratic) to here (where I'm not competent to judge) undo

curprev 14:2414:24, 6 February 2023‎ Hellacioussatyr talk contribs‎ 13,810 bytes +313‎ No edit summary undo Tag: 2017 wikitext editor

curprev 13:0713:07, 17 October 2022‎ Janjmar talk contribs‎ 13,497 bytes +5‎ →‎Algorithm: linear into quasi linear undo Tag: Visual edit

curprev 12:0212:02, 17 July 2022‎ Dcngn talk contribs‎ 13,492 bytes −528‎ The statement I've deleted was wrong in stating that two states <math>q</math> and <math>p</math> are not always bisimilar when they each simulate each other. The section literally defines bisimulation as a symmetric simulation. The wrong statement results from the wrong premise that " <math>\,M=a.b+a\,</math> and <math>\,M'=a.b\ </math> simulate each other ". They do not. The definition of simulation is found in paper cited in https://doi.org/10.1145/1326554.1326559 , as cited in paragraph 2. undo

curprev 10:1110:11, 5 March 2022‎ Wint7 talk contribs‎ m 14,020 bytes +2‎ →‎Formal definition: Reference edited with ProveIt. Tweak TeX kerning. [fmt] undo Tags: ProveIt edit 2017 wikitext editor

curprev 20:4820:48, 6 February 2022‎ TartarTorte talk contribs‎ m 14,018 bytes −5‎ →‎Formal definition: clean up, CheckWiki 26 undo Tag: AWB

curprev 00:3300:33, 30 January 2022‎ Bilorv talk contribs‎ m 14,023 bytes +4‎ link Principles of Model Checking undo

curprev 21:0921:09, 31 October 2021‎ 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk‎ 14,019 bytes +52‎ No edit summary undo

curprev 06:0406:04, 6 May 2021‎ Sammi Brie talk contribs‎ 13,967 bytes +78‎ Importing Wikidata short description: "Relation between transition systems in computer science" (Shortdesc helper) undo

curprev 22:2122:21, 4 May 2021‎ Citation bot talk contribs‎ 13,889 bytes +18‎ Alter: template type. Add: s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox2 | #UCB_webform_linked 61/491 undo

curprev 13:4413:44, 19 April 2021‎ CHANGE THE STUPID USERNAME ALREADY talk contribs‎ m 13,871 bytes +4‎ →‎Formal definition: specify what those elements are undo
curprev 13:3913:39, 19 April 2021‎ CHANGE THE STUPID USERNAME ALREADY talk contribs‎ 13,867 bytes −122‎ →‎Formal definition: formatting , wording undo
curprev 12:5712:57, 19 April 2021‎ 109.81.214.106 talk‎ 13,989 bytes +7‎ →‎Formal definition: horizontal separator before reflist undo
curprev 12:5612:56, 19 April 2021‎ 109.81.214.106 talk‎ 13,982 bytes +24‎ →‎Formal definition: add reflist Note undo

curprev 11:3511:35, 4 April 2021‎ 217.63.252.141 talk‎ 12,990 bytes +27‎ →‎Algorithm undo
curprev 11:3311:33, 4 April 2021‎ 217.63.252.141 talk‎ 12,963 bytes +98‎ →‎Algorithm undo

curprev 07:2707:27, 11 March 2021‎ Justduc talk contribs‎ m 12,865 bytes +14‎ →‎Ehrenfeucht–Fraïssé game definition undo

curprev 15:0715:07, 31 January 2021‎ 78.82.163.30 talk‎ 12,851 bytes +68‎ Clarify the analogy made by "matching each other's moves" undo

curprev 00:1800:18, 14 January 2021‎ Monkbot talk contribs‎ m 12,783 bytes +1‎ Task 18 (cosmetic): eval 3 templates: hyphenate params (1×); undo Tag: AWB

curprev 23:3923:39, 4 October 2020‎ David Eppstein talk contribs‎ 12,782 bytes +3‎ →‎Algorithm: fix undo
curprev 23:3823:38, 4 October 2020‎ David Eppstein talk contribs‎ 12,779 bytes −99‎ authorlinks; merge dup refs undo

curprev 16:2816:28, 16 July 2020‎ Bilorv talk contribs‎ 12,878 bytes +32‎ added Category:Transition systems using HotCat undo
curprev 16:2416:24, 16 July 2020‎ Bilorv talk contribs‎ 12,846 bytes +437‎ →‎Variants of bisimulation: link stutter bisimulation with description undo
curprev 16:2016:20, 16 July 2020‎ Bilorv talk contribs‎ 12,409 bytes −15‎ →‎Algorithm: page number is 486 undo

curprev 12:4812:48, 31 January 2020‎ Bbbaat talk contribs‎ m 12,424 bytes +213‎ →‎Formal definition: added a missing explanation of symbols so as to make article self-contained undo

curprev 17:5217:52, 14 January 2020‎ GünniX talk contribs‎ m 12,211 bytes +12‎ Reflist undo Tag: AWB

curprev 23:4023:40, 12 January 2020‎ AnomieBOT talk contribs‎ m 12,199 bytes +18‎ Dating maintenance tags: {{Pn}} undo
curprev 23:2023:20, 12 January 2020‎ Chris Capoccia talk contribs‎ 12,181 bytes −32‎ No edit summary undo
curprev 19:5919:59, 12 January 2020‎ Fschwarzentruber talk contribs‎ 12,213 bytes +342‎ →‎Bisimulation and modal logic undo Tag: Visual edit

curprev 14:0714:07, 8 October 2019‎ 132.204.243.250 talk‎ 11,871 bytes +24‎ →‎Formal definition undo
curprev 14:0514:05, 8 October 2019‎ 132.204.243.250 talk‎ 11,847 bytes 0‎ Changed &Lambda to \Lambda to clearly distinguish it from the conjunction symbol. undo

curprev 01:3601:36, 27 March 2019‎ 1ucian0 talk contribs‎ m 11,847 bytes 0‎ →‎Software tools: typo undo

curprev 22:0322:03, 21 June 2018‎ Rgdboer talk contribs‎ m 11,847 bytes +2‎ →‎Formal definition: lk Converse relation undo

curprev 07:4707:47, 19 May 2018‎ Bear-rings talk contribs‎ 11,845 bytes −32‎ →‎See also: - link in article undo

curprev 15:5015:50, 18 May 2018‎ JayBeeEll talk contribs‎ m 11,877 bytes +6‎ Reverted 1 edit by Bear-rings (talk) to last revision by Finlay McWalter. (TW) undo Tag: Undo
curprev 15:1115:11, 18 May 2018‎ Bear-rings talk contribs‎ 11,871 bytes −6‎ transition systems undo

curprev 01:0801:08, 31 March 2018‎ Finlay McWalter talk contribs‎ 11,877 bytes −28‎ →‎See also: per WP:SEEALSO, avoid links here that are already linked in the article undo

20 March 2024

26 September 2023

6 February 2023

17 October 2022

17 July 2022

5 March 2022

6 February 2022

30 January 2022

31 October 2021

6 May 2021

4 May 2021

19 April 2021

18 April 2021

4 April 2021

11 March 2021

31 January 2021

14 January 2021

4 October 2020

16 July 2020

31 January 2020

14 January 2020

12 January 2020

8 October 2019

27 March 2019

21 June 2018

19 May 2018

18 May 2018

31 March 2018