Choreographic programming: 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 11:1111:11, 7 June 2025 Citation bot talk contribs 17,292 bytes +5 Altered chapter-url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 681/1214 undo

curprev 00:2700:27, 6 June 2025 Headbomb talk contribs 17,287 bytes +22 Altered pages. Add: volume, journal, title. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 18:4118:41, 23 May 2025 Citation bot talk contribs 17,265 bytes −23 Altered chapter-url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 116/892 undo

curprev 03:1503:15, 7 April 2025 OAbot talk contribs m 17,288 bytes +19 Open access bot: arxiv updated in citation with #oabot. undo

curprev 18:4718:47, 5 March 2025 151.62.158.8 talk 17,269 bytes −2 Chor has no longer any active website undo

curprev 03:1803:18, 25 November 2024 OAbot talk contribs m 17,271 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 15:5915:59, 18 November 2024 Citation bot talk contribs 17,253 bytes −48 Altered template type. Add: class, eprint. Removed URL that duplicated identifier. Removed access-date with no URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo
curprev 15:5715:57, 18 November 2024 Headbomb talk contribs 17,301 bytes +3 ce undo
curprev 14:5714:57, 18 November 2024 Citation bot talk contribs 17,298 bytes −9 Add: arxiv, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 21:5121:51, 17 November 2024 Prs.mrc talk contribs m 17,307 bytes +751 References for Choral undo Tag: Visual edit

curprev 22:1422:14, 5 August 2024 David Eppstein talk contribs 16,556 bytes +64 Hanne Riis Nielson undo

curprev 21:2121:21, 28 July 2024 Citation bot talk contribs 16,492 bytes −42 Add: doi-access, authors 1-1. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 364/1051 undo

curprev 03:1003:10, 1 July 2024 OAbot talk contribs m 16,534 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 15:0015:00, 27 June 2024 InitialAlgebra talk contribs m 16,516 bytes +4 →Languages undo Tag: Visual edit
curprev 14:5914:59, 27 June 2024 InitialAlgebra talk contribs 16,512 bytes +138 →Languages: add ChoRus undo Tag: Visual edit
curprev 13:4013:40, 27 June 2024 62.243.189.198 talk 16,374 bytes +435 add HasChor to the languages list undo Tag: Visual edit

curprev 08:5408:54, 16 March 2024 Citation bot talk contribs 15,939 bytes −92 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Abductive | Category:Concurrent computing | #UCB_Category 35/44 undo

curprev 23:2923:29, 1 February 2024 Mathnerd314159 talk contribs 16,031 bytes +8 change paradigms template to navbox (see Template talk:Programming paradigms#too long) undo

curprev 09:1209:12, 6 January 2024 OAbot talk contribs m 16,023 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 02:1102:11, 4 January 2024 OAbot talk contribs m 16,005 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 21:1221:12, 10 December 2023 OAbot talk contribs m 15,987 bytes +87 Open access bot: doi, arxiv, hdl updated in citation with #oabot. undo

curprev 19:5919:59, 12 November 2023 ElliAWB talk contribs m 15,900 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

curprev 13:4613:46, 10 September 2023 Cedar101 talk contribs 15,885 bytes +76 →Endpoint Projection: {{aligned table|}} undo
curprev 08:5408:54, 10 September 2023 Citation bot talk contribs 15,809 bytes +105 Add: series, s2cid, doi, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 1137/2500 undo

curprev 15:2815:28, 26 June 2023 146.241.161.109 talk 15,704 bytes +268 No edit summary undo

curprev 08:3508:35, 9 June 2023 Prs.mrc talk contribs m 15,436 bytes +370 →Languages: Updated references undo Tag: Visual edit

curprev 11:4011:40, 6 March 2023 Frap talk contribs m 15,066 bytes +20 →Overview undo

curprev 03:1703:17, 3 January 2023 Citation bot talk contribs 15,046 bytes +156 Alter: chapter-url. URLs might have been anonymized. Add: arxiv, s2cid, hdl, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 253/2500 undo

curprev 11:0611:06, 28 August 2022 TheUsernameIWanted talk contribs 14,890 bytes +27 Added the related paradigm of multitier prog. undo Tag: Visual edit

curprev 08:4508:45, 12 August 2022 TheUsernameIWanted talk contribs 14,863 bytes +834 →Languages: Added Kalas and a link to proof assistants. undo Tag: Visual edit

curprev 22:4022:40, 18 March 2022 Headbomb talk contribs 14,029 bytes −11 ce undo

curprev 06:1206:12, 7 March 2022 Prs.mrc talk contribs m 14,040 bytes +561 Reference for certified compiler undo Tag: Visual edit

curprev 18:2718:27, 29 January 2022 Arjayay talk contribs m 13,479 bytes −3 Duplicate word removed undo

curprev 18:4718:47, 22 January 2022 JCW-CleanerBot talk contribs m 13,482 bytes −2 →top: task, replaced: Foundations and Trends® → Foundations and Trends undo Tag: AWB

curprev 15:0715:07, 19 January 2022 TheUsernameIWanted talk contribs 13,484 bytes +28 →See also undo Tag: Visual edit
curprev 15:0515:05, 19 January 2022 TheUsernameIWanted talk contribs 13,456 bytes +1,541 Added endpoint projection (compilation) undo Tag: Visual edit

curprev 10:4010:40, 14 January 2022 TheUsernameIWanted talk contribs 11,915 bytes +74 Fix ref. Not orphan anymore. undo
curprev 06:5806:58, 14 January 2022 Cedar101 talk contribs m 11,841 bytes +12 →Overview: fix syntaxhighlight error undo

curprev 01:1001:10, 12 January 2022 Celestina007 talk contribs m 11,829 bytes +8 clean up, added orphan tag undo Tag: AWB

curprev 15:2015:20, 11 January 2022 Frap talk contribs 11,821 bytes −214 No edit summary undo
curprev 15:1115:11, 11 January 2022 TheUsernameIWanted talk contribs 12,035 bytes +12,035 ←Created page with '{{short description|Programming paradigm}}  In computer science, '''choreographic programming''' is a programming paradigm where programs are compositions of interactions among multiple concurrent participants.<ref name="bt-survey">{{Cite journal|url=https://doi.org/10.1561/2500000031|doi = 10.1561/2500000031|title = Behavioral Types in Programming Languages|year = 2016|last1 = Yoshida|firs...'

7 June 2025

6 June 2025

23 May 2025

7 April 2025

5 March 2025

25 November 2024

18 November 2024

17 November 2024

5 August 2024

28 July 2024

1 July 2024

27 June 2024

16 March 2024

1 February 2024

6 January 2024

4 January 2024

10 December 2023

12 November 2023

10 September 2023

26 June 2023

9 June 2023

6 March 2023

3 January 2023

28 August 2022

12 August 2022

18 March 2022

7 March 2022

29 January 2022

22 January 2022

19 January 2022

14 January 2022

12 January 2022

11 January 2022