An Induction Theorem for Ring Protocols of Processes Described Using Predicate/Transition Nets



Title:	An Induction Theorem for Ring Protocols of Processes Described Using Predicate/Transition Nets Induktiolause predikaatti/transitioverkoilla kuvatuille rengasprotokollien prosesseille
Author(s):	Pyssysalo, Tino
Date:	1996
Language:	en
Pages:	71
Department:	Tietotekniikan osasto
Major/Subject:	Digitaalitekniikka
Supervising professor(s):	Ojala, Leo
	OEVS yes
» Show full item record
Permanent link to this item: http://urn.fi/URN:NBN:fi:aalto-202104144850 Email this Export to RefWorks QR Code Print BibTex Tweet