Items where Author is "Janarthanan, Vasudevan"
|Up a level|
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.