Detecting deadlocks in CCS agents using Petri net reduction techniques

Files

RONDOGIANNIS_PANAGIOTIS_MSc_1991_528669.pdf (1.42 MB)

Date

1991

Authors

Rondogiannis, Panagiotis

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/1828/19504

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.