Searching for authors named "Prakash Panangaden" – sorted by Relevance.
-
unknown title
- COMP 302 Winter 2008: Lecture Schedule Prakash Panangaden Version of: January 2, 2008 Week 1
- Add To MetaCart
-
Reasoning about quantum knowledge
- Reasoning about quantum knowledge Ellie D’Hondt 1 and Prakash Panangaden ⋆2 1 Vrije Universiteit
- Cited by 3 (1 self) – Add To MetaCart
-
Probabilistic Relations
- Probabilistic Relations Prakash Panangaden School of Computer Science McGill University Montreal
- Cited by 5 (0 self) – Add To MetaCart
-
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
- The Expressive Power of Indeterminate Primitives in Asynchronous Computation Prakash Panangaden
- Cited by 7 (2 self) – Add To MetaCart
-
Monotone and Nonmonotone Dataflow Networks
- 'c Prakash Panangaden ACAPS Technical Memo 81 December 8, 1993 Research supported in part by NSERC and FCAR
- Add To MetaCart
-
Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes
- Desharnais Departement d'Informatique Universite Laval Quebec, Canada, G1K 7P4 Prakash Panangaden
- Cited by 11 (2 self) – Add To MetaCart
-
A Domain-theoretic Model for a Higher-order Process Calculus
- A Domain-theoretic Model for a Higher-order Process Calculus Radhakrishnan Jagadeesan and Prakash
- Cited by 11 (2 self) – Add To MetaCart
-
A Denotational Framework for Fair Communicating Processes
- , Chair Edmund Clarke Jeannette Wing Prakash Panangaden, McGill University Copyright c 1996 Susan Older
- Cited by 5 (0 self) – Add To MetaCart
-
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems
- Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems Prakash Panangaden yz
- Cited by 19 (0 self) – Add To MetaCart
-
The Expressive Power of Indeterminate Dataflow Primitives
- The Expressive Power of Indeterminate Dataflow Primitives Prakash Panangaden Vasant Shanbhogue
- Cited by 16 (8 self) – Add To MetaCart

