On the Compositionality and Analysis of High-Level Nets

Helsinki University of Technology | Licentiate thesis

Checking the digitized thesis and permission for publishing
Instructions for the author

Authors

Date

Department

Tietotekniikan osasto

Major/Subject

Digitaalitekniikka

Mcode

Tik-79

Language

en

Pages

ix + 58

Supervisor

Ojala, Leo

Keywords

net thory, category theory, algebraic specification, linear logic, Petri nets, high-level nets, compositionality

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202104144403

Collections

[lic] Teknillinen korkeakoulu / TKK

Show all metadata