Items where Author is "Janarthanan, Vasudevan"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
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.
