Finitely Recursive Process Models for Discrete Event Systems - Analysis and Extension

dc.contributor.author	Bose, Supratik
dc.date.accessioned	2024-05-06T06:22:44Z
dc.date.available	2024-05-06T06:22:44Z
dc.date.issued	1995-07
dc.identifier.govdoc	NB11864; NB11865; NB11866
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/13982
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Discrete Event Systems	en_US
dc.subject	Process Algebra	en_US
dc.subject	Finitely Recursive Processes	en_US
dc.subject	Boundedness analysis	en_US
dc.subject	Nondeterminism	en_US
dc.title	Finitely Recursive Process Models for Discrete Event Systems - Analysis and Extension	en_US
dc.type	Thesis	en_US