Simulation (computer science): Revision history

20 March 2024

• curprev 13:5513:55, 20 March 2024 157.193.240.146 talk 6,086 bytes +111 No edit summary undo

24 August 2023

• curprev 11:5411:54, 24 August 2023 Gonnym talk contribs 5,975 bytes +3 clean up undo Tag: AWB

24 March 2023

• curprev 10:4010:40, 24 March 2023 143.178.167.79 talk 5,972 bytes +30 The notation p simulates q seems the exact oppossite of what it means. In literature, for istance in Van Glabbeek (2001) they call it p can be simulated by q, which intuitively represents the relation better. undo

2 March 2022

• curprev 23:2023:20, 2 March 2022 84.245.120.123 talk 5,942 bytes +40 replace 'iff' by 'if and only if' to match Bisimulation undo

22 June 2021

• curprev 22:2322:23, 22 June 2021 109.81.214.106 talk 5,902 bytes +15 →Formal definition: minor improvement undo

12 May 2021

• curprev 22:5222:52, 12 May 2021 84.13.93.80 talk 5,887 bytes 0 →Formal definition undo

6 May 2021

• curprev 03:5703:57, 6 May 2021 OAbot talk contribs m 5,887 bytes +19 Open access bot: doi added to citation with #oabot. undo

5 May 2021

• curprev 00:0200:02, 5 May 2021 Citation bot talk contribs 5,868 bytes +8 Alter: pages, template type. Add: chapter-url. Removed or converted URL. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox2 | #UCB_webform_linked 410/491 undo

20 April 2021

• curprev 17:3117:31, 20 April 2021 CHANGE THE STUPID USERNAME ALREADY talk contribs 5,860 bytes +1 →Formal definition: "if" is not the same as "iff" undo
• curprev 17:2517:25, 20 April 2021 Arjayay talk contribs m 5,859 bytes −1 Duplicate word reworded + undo

19 April 2021

• curprev 23:0423:04, 19 April 2021 109.81.214.106 talk 5,860 bytes +642 →Formal definition: proof that similarity is strictly coarser than bisimilarity iff it is not a simulation undo
• curprev 21:5221:52, 19 April 2021 CHANGE THE STUPID USERNAME ALREADY talk contribs m 5,218 bytes 0 Řiťopič moved page Simulation preorder to Simulation (computer science): The page discusses the general concept of simulation; simulation preorder is a special kind of simulation. "Simulation preorder" is the same to "simulation" as "bisimilarity" is to "bisimulation"; the bisimulation page is not called "bisimilarity", so this page should not be called "simulation preorder". undo
• curprev 14:1914:19, 19 April 2021 CHANGE THE STUPID USERNAME ALREADY talk contribs m 5,218 bytes +13 →Formal definition: ref group=note undo
• curprev 14:1514:15, 19 April 2021 CHANGE THE STUPID USERNAME ALREADY talk contribs 5,205 bytes +1,865 update formatting and formulations to follow the bisimilarity page; add more explanations, examples, references undo

13 January 2021

• curprev 21:4021:40, 13 January 2021 Monkbot talk contribs m 3,340 bytes +2 Task 18 (cosmetic): eval 3 templates: hyphenate params (2×); undo Tag: AWB

1 December 2020

• curprev 00:4000:40, 1 December 2020 2001:861:3ac0:4fa0:f587:df8e:1dff:a058 talk 3,338 bytes +57 No edit summary undo

16 July 2020

• curprev 16:2916:29, 16 July 2020 Bilorv talk contribs 3,281 bytes +32 added Category:Transition systems using HotCat undo

24 September 2019

• curprev 08:2108:21, 24 September 2019 Marnie Hawes talk contribs 3,249 bytes +67 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

15 March 2018

• curprev 10:1010:10, 15 March 2018 134.96.74.163 talk 3,182 bytes −12 →Similarity of separate transition systems undo

5 October 2017

• curprev 20:1220:12, 5 October 2017 EulerPie talk contribs 3,194 bytes +29 →Formal definition undo
• curprev 19:3119:31, 5 October 2017 EulerPie talk contribs m 3,165 bytes +4 No edit summary undo

27 November 2015

• curprev 16:2116:21, 27 November 2015 95.146.251.92 talk 3,161 bytes −18 Simplify by removing redundant p, q ∈ S undo

31 March 2014

• curprev 19:1319:13, 31 March 2014 Ott2 talk contribs 3,179 bytes +2 trying again undo
• curprev 19:0319:03, 31 March 2014 Ott2 talk contribs 3,177 bytes −4 fix markup undo

7 March 2013

• curprev 03:5803:58, 7 March 2013 Addbot talk contribs m 3,181 bytes −104 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q1747683 undo

27 August 2012

• curprev 15:4915:49, 27 August 2012 207.241.137.116 talk 3,285 bytes +1 →Formal definition undo
• curprev 15:4915:49, 27 August 2012 207.241.137.116 talk 3,284 bytes +20 →Formal definition undo

22 August 2011

• curprev 13:4913:49, 22 August 2011 Ott2 talk contribs 3,264 bytes +340 →References: add citation undo
• curprev 13:3713:37, 22 August 2011 Ott2 talk contribs 2,924 bytes −36 no longer unsourced undo
• curprev 13:3713:37, 22 August 2011 Ott2 talk contribs 2,960 bytes +164 →References: add citation undo
• curprev 13:3613:36, 22 August 2011 Ott2 talk contribs m 2,796 bytes −3 →References: id -> isbn undo
• curprev 13:3213:32, 22 August 2011 Ott2 talk contribs 2,799 bytes +417 add reference undo

17 December 2009

• curprev 14:4614:46, 17 December 2009 SmackBot talk contribs m 2,382 bytes −87 remove Erik9bot category,outdated, tag and general fixes undo

16 November 2009

• curprev 20:5320:53, 16 November 2009 VolkovBot talk contribs m 2,469 bytes +33 robot Adding: it:Simulazione (informatica) undo

4 July 2009

• curprev 05:3505:35, 4 July 2009 Erik9bot talk contribs 2,436 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

14 May 2009

• curprev 20:5220:52, 14 May 2009 Hans Adler talk contribs 2,387 bytes −26 →Formal definition: rm overlinking (a more appropriate link would be finitary relation, but that's not necessary) undo

20 June 2008

• curprev 14:1914:19, 20 June 2008 Kakofonous talk contribs m 2,413 bytes +2 fmt undo
• curprev 02:1202:12, 20 June 2008 Blaisorblade talk contribs m 2,411 bytes −12 →See also: Fix broken wikilink by pointing it to related article undo

10 June 2008

• curprev 10:4610:46, 10 June 2008 Sam Staton talk contribs 2,423 bytes +118 →Formal definition: clarification undo
• curprev 10:3610:36, 10 June 2008 Sam Staton talk contribs 2,305 bytes −6 →Similarity of separate transition systems: fixed. can't believe this was left wrong for so long! undo

29 April 2007

• curprev 12:0712:07, 29 April 2007 Michael Fourman talk contribs 2,311 bytes +101 →Formal definition: relational definition undo

13 November 2006

• curprev 13:2013:20, 13 November 2006 62.245.110.163 talk 2,210 bytes +39 Add link to Czech Wikipedia article undo

31 May 2006

• curprev 06:0506:05, 31 May 2006 YurikBot talk contribs m 2,171 bytes −1 robot Modifying: fr:Préordre de simulation undo

18 April 2006

• curprev 04:1204:12, 18 April 2006 Allan McInnes talk contribs 2,172 bytes +3 switch p's and q's undo

24 March 2006

• curprev 22:0022:00, 24 March 2006 Allan McInnes talk contribs m 2,169 bytes −2 →Formal definition: indentation undo

15 November 2005

• curprev 01:4001:40, 15 November 2005 Marc Venot talk contribs m 2,171 bytes +1 Relation (mathematics) undo

1 November 2005

• curprev 10:1810:18, 1 November 2005 Eskimbot talk contribs m 2,170 bytes +33 robot Adding: fr undo

13 March 2005

• curprev 08:1008:10, 13 March 2005 Oleg Alexandrov talk contribs 2,137 bytes −1 rm extra blank line undo
• curprev 08:0308:03, 13 March 2005 Oleg Alexandrov talk contribs 2,138 bytes +38 Category:Theoretical computer science undo

28 February 2005

• curprev 06:1206:12, 28 February 2005 211.22.65.205 talk 2,100 bytes +1 No edit summary undo