Otsing - TalTech Publikatsioonid

kuva

reasta

1

artikkel ajakirjas

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://lmcs.episciences.org/ http://doi.org/10.46298/LMCS-19(1:7)2023

artikkel ajakirjas

2

artikkel kogumikus

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 http://dx.doi.org/10.4230/OASIcs.Tokenomics.2020.7

artikkel kogumikus

3

artikkel ajakirjas

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, p. 1–28 https://doi.org/10.1145/3434338

artikkel ajakirjas

4

artikkel kogumikus

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103 - 115 https://doi.org/10.4204/EPTCS.372.8

artikkel kogumikus

5

artikkel kogumikus

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13

artikkel kogumikus

6

artikkel kogumikus

A variety theorem for relational universal algebraNester, Chad MitchellRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings2021 / p. 362–377 http://dx.doi.org/10.1007/978-3-030-88701-8_22

artikkel kogumikus

Nester, Chad Mitchell (autor)

teaviku laadid

autor 3

pealkiri 2