Jump to content

Process calculus: Revision history

View logs for this page (view filter log)

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 08:5608:56, 28 June 2024 Угур Алекперов talk contribs 19,255 bytes +4 add a link to a not-yet-existing page undo

curprev 11:5711:57, 9 January 2024 Frap talk contribs m 19,251 bytes +2 →Current research undo

curprev 08:5408:54, 24 August 2023 Citation bot talk contribs 19,249 bytes −1 Alter: title, template type. Add: chapter. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 20:1820:18, 2 April 2023 Complexity1 talk contribs 19,250 bytes −13 No edit summary undo

curprev 23:4723:47, 25 March 2023 InternetArchiveBot talk contribs 19,263 bytes +185 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Whoop whoop pull up - 12943 undo

curprev 10:5610:56, 16 July 2022 2a02:6d40:3416:1701:7a9c:6ee2:73fd:bfda talk 19,078 bytes +1 plural undo Tag: Manual revert

curprev 10:2510:25, 29 June 2022 145.116.151.132 talk 19,077 bytes −1 No edit summary undo Tag: Reverted

curprev 15:4215:42, 7 February 2022 The Banner talk contribs m 19,078 bytes +3 v2.04 - Repaired 1 link to disambiguation page - (You can help) - Replication undo Tag: WPCleaner

curprev 00:5800:58, 28 November 2021 Citation bot talk contribs 19,075 bytes +36 Add: pages, year, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Articles with links needing disambiguation from July 2021 | #UCB_Category 14/110 undo

curprev 04:4704:47, 21 October 2021 Chumpih talk contribs m 19,039 bytes +41 →See also: lk Communicating sequential processes undo

curprev 14:2114:21, 15 October 2021 Chumpih talk contribs m 18,998 bytes +15 →See also: lk ProVerif undo
curprev 12:1212:12, 15 October 2021 Chumpih talk contribs 18,983 bytes +39 →See also: lks undo

curprev 11:2711:27, 3 July 2021 Narky Blert talk contribs 18,944 bytes +21 dab-needed tag undo

curprev 18:3418:34, 22 June 2021 24.243.31.227 talk 18,923 bytes +8 →Recursion and replication undo Tags: Mobile edit Mobile web edit

curprev 16:0616:06, 11 May 2021 185.74.104.23 talk 18,915 bytes −76 →Further reading undo

curprev 20:0220:02, 13 January 2021 Monkbot talk contribs m 18,991 bytes +3 Task 18 (cosmetic): eval 7 templates: hyphenate params (3×); undo Tag: AWB

curprev 21:4421:44, 12 January 2021 WikiCleanerBot talk contribs m 18,988 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 14:3914:39, 1 August 2020 Matthiaspaul talk contribs 18,988 bytes +810 →Further reading: +ref undo

curprev 20:1820:18, 23 April 2020 ChromeGames talk contribs 18,178 bytes +76 Adding local short description: "Family of approaches for modelling concurrent systems", overriding Wikidata description "diverse family of related approaches for formally modelling concurrent systems" (Shortdesc helper) undo

curprev 00:5700:57, 18 April 2020 OAbot talk contribs m 18,102 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 20:3520:35, 13 April 2020 Mccapra talk contribs 18,086 bytes +32 →See also: Adding link to orphaned article, Wikiproject Orphanage: You can help! undo

curprev 12:5812:58, 2 March 2020 Deacon Vorbis talk contribs 18,054 bytes −93 Reverted 2 edits by Wfokkink (talk): Refspam (TW) undo Tag: Undo
curprev 12:3012:30, 2 March 2020 Wfokkink talk contribs 18,147 bytes −8 No edit summary undo
curprev 10:2810:28, 2 March 2020 Wfokkink talk contribs 18,155 bytes +101 No edit summary undo

curprev 12:3112:31, 7 December 2019 Citation bot talk contribs m 18,054 bytes −34 Add: volume, date. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 13:5313:53, 8 June 2019 Cic talk contribs m 18,088 bytes −93 Pi formatting undo Tag: 2017 wikitext editor
curprev 13:5113:51, 8 June 2019 Cic talk contribs 18,181 bytes −23 →Software implementations: No need for double links undo Tag: 2017 wikitext editor
curprev 13:4113:41, 8 June 2019 Cic talk contribs m 18,204 bytes +9 →Relationship to other models of concurrency: Ref fix undo Tag: 2017 wikitext editor

curprev 17:1717:17, 24 February 2019 Kmarinas86 talk contribs 18,195 bytes 0 →Communication undo Tags: Mobile edit Mobile web edit

curprev 07:5907:59, 4 February 2019 TheUsernameIWanted talk contribs 18,195 bytes +495 Added reference for the expressivity study of pi-calculus vs higher-order pi-calculus. undo Tag: Visual edit

curprev 10:0210:02, 26 October 2018 195.250.240.26 talk 17,700 bytes −1 →Mathematics of processes undo

curprev 14:5514:55, 1 March 2018 Nyq talk contribs m 17,701 bytes −1 →Relationship to other models of concurrency: decapitalized common noun undo Tag: Visual edit

curprev 14:3714:37, 26 January 2018 KolbertBot talk contribs m 17,702 bytes +1 Bot: HTTP→HTTPS (v481) undo

curprev 02:1202:12, 27 August 2017 Architectchao talk contribs 17,701 bytes +5 →Mathematics of processes undo

curprev 23:5223:52, 25 June 2017 PrimeBOT talk contribs m 17,696 bytes +16 Replace magic links with templates per local RfC - BRFA undo

curprev 02:2002:20, 10 April 2017 27.0.182.186 talk 17,680 bytes 0 →Reduction semantics undo

curprev 16:3016:30, 9 March 2017 Dough34 talk contribs m 17,680 bytes 0 →History: fix capitalization undo
curprev 16:2716:27, 9 March 2017 Dough34 talk contribs m 17,680 bytes +106 →Discrete and continuous process algebra: add links undo

curprev 18:4518:45, 1 November 2016 Pintoch talk contribs m 17,574 bytes −7 change |id={{citeseerx}} to |citeseerx= undo

curprev 08:4008:40, 20 June 2016 McGeddon talk contribs 17,581 bytes −412 Reverted 2 edits by Architectchao (talk): COI ref addition. (TW) undo
curprev 08:3308:33, 20 June 2016 Architectchao talk contribs 17,993 bytes +4 →Current research undo
curprev 08:3208:32, 20 June 2016 Architectchao talk contribs 17,989 bytes +408 →Current research undo

curprev 07:0407:04, 11 March 2016 BG19bot talk contribs m 17,581 bytes −5 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 10:2410:24, 26 March 2015 85.76.143.254 talk 17,586 bytes +20 Fixed PDF link in Baeten undo

curprev 15:0915:09, 17 January 2015 194.225.239.237 talk 17,566 bytes 0 →Communication undo
curprev 15:0915:09, 17 January 2015 194.225.239.237 talk 17,566 bytes 0 →Communication undo

curprev 01:2801:28, 13 January 2015 Ulidtko talk contribs 17,566 bytes −26 →Mathematics of processes: better font, nicer link, simpler markup undo Tags: Mobile edit Mobile web edit
curprev 01:2501:25, 13 January 2015 Ulidtko talk contribs 17,592 bytes +7 →Essential features: punctuation, formatting undo Tags: Mobile edit Mobile web edit

curprev 21:0521:05, 8 November 2014 2601:2:4d00:27b:cc64:67dd:8cbb:3acf talk 17,585 bytes +48 →Hiding undo
curprev 21:0421:04, 8 November 2014 2601:2:4d00:27b:cc64:67dd:8cbb:3acf talk 17,537 bytes −1 →Recursion and replication undo

Retrieved from "https://en.wikipedia.org/wiki/Process_calculus"