Input/output automaton: 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 00:2100:21, 13 December 2023 A3nm talk contribs 25,892 bytes +30 →See also: +link to transducer undo Tag: 2017 wikitext editor
curprev 00:2000:20, 13 December 2023 Smabler talk contribs m 25,862 bytes +28 →See also: Relational Transducer undo

curprev 11:3011:30, 13 November 2022 2620:10f:600a:200:0:ffff:0:8 talk 25,834 bytes +3 the wording seems a little awkward. tried to fix the grammar. undo

curprev 10:1110:11, 8 October 2022 DavidGries talk contribs 25,831 bytes +116 →Further reading: Add third item, link to article "Safety and liveness properties", undo

curprev 20:0220:02, 11 September 2021 Beland talk contribs m 25,715 bytes −2 convert special characters (via WP:JWB) undo

curprev 21:0021:00, 6 July 2021 OAbot talk contribs m 25,717 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 14:4314:43, 31 March 2021 69.243.148.220 talk 25,699 bytes −2 No edit summary undo Tag: Manual revert
curprev 14:4214:42, 31 March 2021 69.243.148.220 talk 25,701 bytes +2 No edit summary undo Tag: Reverted

curprev 22:1122:11, 24 March 2021 Beland talk contribs m 25,699 bytes −118 convert special characters (via WP:JWB) undo

curprev 01:5501:55, 14 January 2021 Monkbot talk contribs m 25,817 bytes +2 Task 18 (cosmetic): eval 5 templates: hyphenate params (2×); undo Tag: AWB

curprev 07:1707:17, 18 December 2019 InternetArchiveBot talk contribs 25,815 bytes +31 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 13:5213:52, 2 December 2019 Citation bot talk contribs m 25,784 bytes +2 Alter: issue. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 22:4622:46, 13 January 2019 Cydebot talk contribs m 25,782 bytes −53 Robot - Removing category Articles created via the Article Wizard per CFD at Wikipedia:Categories for discussion/Log/2019 January 6. undo

curprev 21:3521:35, 10 November 2018 Mr.jesse.e.thompson talk contribs m 25,835 bytes 0 →Tasks: Fixes word ordering of sentence. "that the all automata in the composition" -> "that all the automata in the composition" undo
curprev 21:2621:26, 10 November 2018 Mr.jesse.e.thompson talk contribs m 25,835 bytes −1 →FIFO message channel: Fixes a misspelled word. modelled -> modeled undo

curprev 12:4112:41, 18 July 2018 138.231.81.8 talk 25,836 bytes +9 Corrected internal link undo

curprev 00:3800:38, 17 May 2016 BG19bot talk contribs m 25,827 bytes −2 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 20:3920:39, 12 September 2015 Klbrain talk contribs m 25,829 bytes +27 →Examples: DAB undo

curprev 08:2608:26, 26 August 2015 193.40.6.84 talk 25,802 bytes −20 Moved the "Formal specification" and "Execution and trace" sections up one level undo

curprev 14:1714:17, 17 February 2015 Niceguyedc talk contribs m 25,822 bytes +33 WPCleaner v1.34 - Repaired 1 link to disambiguation page - (You can help) - FIFO undo

curprev 15:2615:26, 14 July 2014 Qwertyus talk contribs m 25,789 bytes +19 link "formal model" to Formal methods undo
curprev 15:2515:25, 14 July 2014 Qwertyus talk contribs 25,770 bytes −31 de-orphaned undo
curprev 15:2415:24, 14 July 2014 Qwertyus talk contribs m 25,801 bytes 0 Qwertyus moved page I/O automaton to Input/output automaton: full name undo

curprev 20:1120:11, 11 May 2014 Rjwilmsi talk contribs m 25,801 bytes +36 →Further reading: Added 1 doi to a journal cite using AWB (10151) undo

curprev 19:2619:26, 21 January 2014 Monkbot talk contribs m 25,765 bytes −38 Fix CS1 deprecated date parameter errors undo

curprev 22:2722:27, 12 January 2014 LilHelpa talk contribs 25,803 bytes +1 Typo fixing and general fixes using AWB undo

curprev 11:0111:01, 8 October 2013 Magioladitis talk contribs m 25,802 bytes +13 clean up using AWB (9513) undo

curprev 16:3416:34, 11 July 2013 FrescoBot talk contribs m 25,789 bytes −5 Bot: fixing section wikilinks and minor changes undo

curprev 20:1320:13, 10 July 2013 BG19bot talk contribs m 25,794 bytes −4 Fixing section headings undo

curprev 00:3500:35, 21 June 2013 Aisteco talk contribs m 25,798 bytes +1 Disambiguated: Round-robin#Computing → round-robin scheduling undo

curprev 10:2210:22, 12 June 2013 Yobot talk contribs m 25,797 bytes −20 WP:CHECKWIKI error fixes using AWB (9251) undo

curprev 08:2808:28, 30 May 2013 Frap talk contribs 25,817 bytes −310 Dropped table markup undo
curprev 08:2308:23, 30 May 2013 Frap talk contribs 26,127 bytes +49 MOS:HEADERS undo
curprev 08:1908:19, 30 May 2013 Frap talk contribs m 26,078 bytes 0 Frap moved page I/O Automaton to I/O automaton undo

curprev 01:4001:40, 8 December 2012 Delusion23 talk contribs m 26,078 bytes +4 clean up using AWB (8759) undo

curprev 17:4617:46, 14 November 2012 John of Reading talk contribs m 26,074 bytes +1 →Example: Formal Definition of Channel I/O Automaton: Typo fixing, replaced: enroute → en route using AWB undo

curprev 10:2410:24, 8 November 2012 Yobot talk contribs m 26,073 bytes +28 Remove unicode control characters (CHECKWIKI error 16) +general fixes using AWB (8535) undo

curprev 21:1821:18, 8 June 2012 Ptroja talk contribs m 26,045 bytes −11 →Examples: duplicate words removed undo

curprev 19:3119:31, 9 April 2012 Dthomsen8 talk contribs 26,056 bytes −68 Reviewed by Dthomsen8 undo

curprev 22:5622:56, 18 March 2012 Helpful Pixie Bot talk contribs m 26,124 bytes −14 ISBNs (Build J/) undo

curprev 08:4608:46, 8 January 2012 Dekart talk contribs 26,138 bytes −30 removed Category:Computer science using HotCat undo
curprev 08:4608:46, 8 January 2012 Dekart talk contribs 26,168 bytes 0 removed Category:Distributed Computing; added Category:Distributed computing using HotCat undo

curprev 06:4106:41, 26 December 2011 Giraffedata talk contribs 26,168 bytes −12 comprised of undo

curprev 10:5910:59, 24 December 2011 CaroleHenson talk contribs 26,180 bytes −6,436 clean up, added orphan tag using AWB undo
curprev 09:0209:02, 24 December 2011 RussBot talk contribs m 32,616 bytes 0 Robot: Change redirected category Computer Science to Computer science undo
curprev 00:0300:03, 24 December 2011 FrescoBot talk contribs m 32,616 bytes −122 Bot: link syntax/spacing and minor changes undo

curprev 23:1123:11, 23 December 2011 Bita.banihashemi talk contribs 32,738 bytes +32,738 ←Created page with '{{New unreviewed article|source=ArticleWizard|date={{subst:CURRENTMONTHNAME}} {{subst:CURRENTYEAR}}}} '''Input/Output Automata''' provide a formal model, applic...'

13 December 2023

13 November 2022

8 October 2022

11 September 2021

6 July 2021

31 March 2021

24 March 2021

14 January 2021

18 December 2019

2 December 2019

13 January 2019

10 November 2018

18 July 2018

17 May 2016

12 September 2015

26 August 2015

17 February 2015

14 July 2014

11 May 2014

21 January 2014

12 January 2014

8 October 2013

11 July 2013

10 July 2013

21 June 2013

12 June 2013

30 May 2013

8 December 2012

14 November 2012

8 November 2012

8 June 2012

9 April 2012

18 March 2012

8 January 2012

26 December 2011

24 December 2011

23 December 2011