Operational Semantics of Weak Sequential Composition

Autor:	Maarand, Hendrik
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	FOS: Computer and information sciences operational semantics relaxed memory normal forms language derivatives automata theory generalised Mazurkiewicz traces
DOI:	10.23658/taltech.17/2020
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6bac45479fcf20760dcdd2eca3e05496 Zobrazit plný text záznamu