Detecting deadlocks in CCS agents using Petri net reduction techniques

Simple item page
dc.contributor.authorRondogiannis, Panagiotisen_US
dc.date.accessioned2024-08-15T17:41:30Z
dc.date.available2024-08-15T17:41:30Z
dc.date.copyright1991en_US
dc.date.issued1991
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.format.extent75 pages
dc.identifier.urihttps://hdl.handle.net/1828/19504
dc.rightsAvailable to the World Wide Weben_US
dc.titleDetecting deadlocks in CCS agents using Petri net reduction techniquesen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
RONDOGIANNIS_PANAGIOTIS_MSc_1991_528669.pdf
Size:
1.42 MB
Format:
Adobe Portable Document Format
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.