Π-calculus: Revision history

3 December 2023

• curprev 06:0706:07, 3 December 2023‎ OAbot talk contribs‎ m 31,558 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

22 October 2023

• curprev 17:3517:35, 22 October 2023‎ 80.6.240.117 talk‎ 31,562 bytes +6‎ Continuation describes better than suffix undo Tag: Visual edit

13 August 2023

• curprev 10:2510:25, 13 August 2023‎ Headbomb talk contribs‎ m 31,556 bytes +17‎ →‎Applications: add missing doi-access=free undo Tag: AWB

12 April 2023

• curprev 21:4221:42, 12 April 2023‎ David Eppstein talk contribs‎ 31,539 bytes +33‎ Catuscia Palamidessi undo
• curprev 03:4903:49, 12 April 2023‎ Yoshi24517 talk contribs‎ m 31,506 bytes −172‎ Reverted edits by 2405:201:E011:8003:DDBE:25EC:176A:EAB1 (talk): not where this goes (HG) (3.4.12) undo Tag: Rollback
• curprev 03:4803:48, 12 April 2023‎ 2405:201:e011:8003:ddbe:25ec:176a:eab1 talk‎ 31,678 bytes +172‎ →‎Notes undo Tag: Reverted

27 March 2023

• curprev 07:4807:48, 27 March 2023‎ Citation bot talk contribs‎ 31,506 bytes +71‎ Add: isbn, pmid, doi. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 1281/3352 undo

12 June 2022

• curprev 05:5305:53, 12 June 2022‎ Citation bot talk contribs‎ 31,435 bytes +61‎ Add: bibcode, s2cid. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

1 June 2022

• curprev 12:4512:45, 1 June 2022‎ 4.16.119.170 talk‎ 31,374 bytes +1‎ Update link based on redirection undo

24 March 2022

• curprev 13:1413:14, 24 March 2022‎ 2620:101:f000:780::1eb5 talk‎ 31,373 bytes −1‎ Remove "." after "(\nu x)" undo
• curprev 13:1213:12, 24 March 2022‎ 2620:101:f000:780::1eb5 talk‎ 31,374 bytes −4‎ Remove pointless link to "Turing" undo Tag: wikilinks removed

5 December 2021

• curprev 04:3204:32, 5 December 2021‎ Stesmo talk contribs‎ 31,378 bytes −254‎ Removed External Link in body of article and pruned EL section to meet WP:EL. undo Tag: Visual edit

6 September 2021

• curprev 04:3304:33, 6 September 2021‎ OAbot talk contribs‎ m 31,632 bytes +70‎ Open access bot: hdl added to citation with #oabot. undo

29 August 2021

• curprev 23:3823:38, 29 August 2021‎ 2601:340:8200:e040::9b67 talk‎ 31,562 bytes +54‎ →‎Labelled semantics undo

26 August 2021

• curprev 02:1302:13, 26 August 2021‎ 47.232.152.67 talk‎ 31,508 bytes 0‎ Used a term more consistent with the rest of article undo Tag: Visual edit

6 July 2021

• curprev 04:0904:09, 6 July 2021‎ OAbot talk contribs‎ m 31,508 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

7 June 2021

• curprev 01:4601:46, 7 June 2021‎ OAbot talk contribs‎ m 31,492 bytes +70‎ Open access bot: hdl added to citation with #oabot. undo

30 April 2021

• curprev 18:5018:50, 30 April 2021‎ Synechist talk contribs‎ m 31,422 bytes +4‎ →‎Implementations: Update link to RhoLang (also improve wording a smidge) undo

22 April 2021

• curprev 11:0911:09, 22 April 2021‎ Iwilare talk contribs‎ m 31,418 bytes −16‎ Fix Syntax section link undo

19 April 2021

• curprev 00:4800:48, 19 April 2021‎ Gltackett talk contribs‎ 31,434 bytes −1‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

14 March 2021

• curprev 19:3519:35, 14 March 2021‎ Tom.Reding talk contribs‎ m 31,435 bytes +21‎ +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

21 February 2021

• curprev 22:5522:55, 21 February 2021‎ 70.171.155.43 talk‎ 31,414 bytes −17‎ never use the hype word "simple" when describing a programming concept as it only serves the interests of vandals and advertisers, a pest; fixed double conjunction undo

6 December 2020

• curprev 18:4618:46, 6 December 2020‎ Monkbot talk contribs‎ m 31,431 bytes −6‎ Task 18 (cosmetic): eval 16 templates: del empty params (1×); hyphenate params (6×); undo Tag: AWB

27 September 2020

• curprev 11:1311:13, 27 September 2020‎ 85.166.185.115 talk‎ 31,437 bytes +1‎ No edit summary undo Tag: Manual revert
• curprev 11:1311:13, 27 September 2020‎ 85.166.185.115 talk‎ 31,436 bytes −1‎ removed # from Syntax link undo Tags: Reverted Visual edit

27 July 2020

• curprev 14:5614:56, 27 July 2020‎ Sara Uckelman talk contribs‎ 31,437 bytes +4‎ No edit summary undo

25 June 2020

• curprev 00:3100:31, 25 June 2020‎ 147.229.208.56 talk‎ 31,433 bytes 0‎ →‎A small example: fixed incorrect usages of "x bound to y", which were previously incorrectly "fixed" in revision 960889240 and were originally correct undo

20 June 2020

• curprev 22:4522:45, 20 June 2020‎ OAbot talk contribs‎ m 31,433 bytes +32‎ Open access bot: doi added to citation with #oabot. undo

5 June 2020

• curprev 21:2621:26, 5 June 2020‎ Citation bot talk contribs‎ 31,401 bytes +87‎ Alter: pages. Add: url. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by SemperIocundus | via #UCB_webform undo
• curprev 13:0913:09, 5 June 2020‎ 78.80.30.159 talk‎ 31,314 bytes −20‎ →‎A small example: fixed incorrect usages of "x bound to y" undo Tags: Mobile edit Mobile web edit

11 May 2020

• curprev 20:1120:11, 11 May 2020‎ User-duck talk contribs‎ 31,334 bytes +23‎ Cite maintenance undo

23 April 2020

• curprev 20:2120:21, 23 April 2020‎ ChromeGames talk contribs‎ 31,311 bytes +39‎ Adding short description: "Process calculus" (Shortdesc helper) undo

22 April 2020

• curprev 19:4819:48, 22 April 2020‎ 77.20.10.136 talk‎ 31,272 bytes −5‎ removed "Bruno Blancet" intern link, since its not the right Bruno Blancet. undo

29 February 2020

• curprev 14:4314:43, 29 February 2020‎ PiotrParadzinski talk contribs‎ m 31,277 bytes +26‎ add Concurrent computing template to Π-calculus undo

18 December 2019

• curprev 04:0704:07, 18 December 2019‎ InternetArchiveBot talk contribs‎ 31,251 bytes +79‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

1 December 2019

• curprev 09:3209:32, 1 December 2019‎ Citation bot talk contribs‎ m 31,172 bytes −6‎ Alter: issue. Add: chapter-url, pmid, doi, volume, issue. Removed or converted URL. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

21 November 2019

• curprev 15:4515:45, 21 November 2019‎ 31.205.128.103 talk‎ 31,178 bytes −3‎ Wording undo

19 November 2019

• curprev 17:0517:05, 19 November 2019‎ 31.205.128.103 talk‎ 31,181 bytes −15‎ No edit summary undo

2 November 2019

• curprev 10:1710:17, 2 November 2019‎ Reyk talk contribs‎ 31,196 bytes −31‎ reduce waffling undo

19 October 2019

• curprev 23:3023:30, 19 October 2019‎ Anthonycnash talk contribs‎ 31,227 bytes +420‎ A further application added with reference. undo

17 October 2019

• curprev 11:3911:39, 17 October 2019‎ Kku talk contribs‎ 30,807 bytes +41‎ →‎Turing completeness undo

14 October 2019

• curprev 01:4901:49, 14 October 2019‎ Monkbot talk contribs‎ m 30,766 bytes −59‎ →‎Process constructs: Task 16: replaced (0×) / removed (1×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

2 October 2019

• curprev 14:3614:36, 2 October 2019‎ EHJ2021 talk contribs‎ m 30,825 bytes −48‎ Removed links to non-existent pages and spelling errors undo Tag: Visual edit

27 August 2019

• curprev 17:2217:22, 27 August 2019‎ Bender the Bot talk contribs‎ m 30,873 bytes +2‎ HTTP → HTTPS for Tufts CS, replaced: http://www.cs.tufts.edu/ → https://www.cs.tufts.edu/ (2) undo Tag: AWB

23 July 2019

• curprev 19:2819:28, 23 July 2019‎ OAbot talk contribs‎ m 30,871 bytes +12‎ Open access bot: add pmc identifier to citation with #oabot. undo

28 June 2019

• curprev 14:1714:17, 28 June 2019‎ Scopeoperator talk contribs‎ m 30,859 bytes +17‎ →‎Properties: Minor formatting fix undo Tag: Visual edit

13 May 2019

• curprev 19:0319:03, 13 May 2019‎ Symbolic0 talk contribs‎ 30,842 bytes +1‎ →‎Syntax undo Tag: Visual edit
• curprev 19:0219:02, 13 May 2019‎ Symbolic0 talk contribs‎ 30,841 bytes +34‎ →‎Syntax undo Tag: Visual edit
• curprev 19:0119:01, 13 May 2019‎ Symbolic0 talk contribs‎ 30,807 bytes −2‎ →‎Syntax undo Tag: Visual edit
• curprev 18:4318:43, 13 May 2019‎ Symbolic0 talk contribs‎ 30,809 bytes −106‎ →‎A small example undo