On the Compositionality and Analysis of High-Level Nets

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorLilius, Johan
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2021-04-14T14:16:33Z
dc.date.available2021-04-14T14:16:33Z
dc.date.issued1991 
dc.format.extentix + 58 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/105113
dc.identifier.urnURN:NBN:fi:aalto-202104144403
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordnet thoryen
dc.subject.keywordcategory theoryen
dc.subject.keywordalgebraic specificationen
dc.subject.keywordlinear logicen
dc.subject.keywordPetri netsen
dc.subject.keywordhigh-level netsen
dc.subject.keywordcompositionalityen
dc.titleOn the Compositionality and Analysis of High-Level Netsen
dc.titleAlgebrallisten korkean tason verkkojen kompositionaalisuus ja analyysifi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_35665
local.aalto.idinssi7349
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK