Items where Author is "Janarthanan, Vasudevan"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Janarthanan, Vasudevan (2007) Formalization of uniprocessor and multiprocessor scheduling of real-time systems using supervisory control of discrete-event systems. PhD thesis, Concordia University.
Janarthanan, Vasudevan (2003) Modular composition and verification of transaction processing protocols using category theory. Masters thesis, Concordia University.
