MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Prakash Panangaden" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

48 documents found, showing 1 through 10. Next 10 →

ATOM

unknown title
by Prakash Panangaden — 2008
…COMP 302 Winter 2008: Lecture Schedule Prakash Panangaden Version of: January 2, 2008 Week 1…
Add To MetaCart

Reasoning about quantum knowledge
by Prakash Panangaden — 2005 — In Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science
…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
by Prakash Panangaden — 1998 — School of Computer Science, McGill University, Montreal
…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
by Prakash Panangaden — 1995 — Proceedings of the Fifteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes In Computer Science
…The Expressive Power of Indeterminate Primitives in Asynchronous Computation Prakash Panangaden…
Cited by 7 (2 self) – Add To MetaCart

Monotone and Nonmonotone Dataflow Networks
by Marija Cubric, Prakash Panangaden — 1993
…'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
by Josée Desharnais, Prakash Panangaden — 2002 — J. of Logic and Alg. Progr
… 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
by Radhakrishnan Jagadeesan, Prakash Panangaden — 1996 — Proceedings of the 17th International Colloquium on Automata Languages and Programming
…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
by Susan Older, Prakash Panangaden — 1997
…, 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
by Prakash Panangaden, Kim Taylor — 1992 — Distributed Computing
…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
by Prakash Panangaden, Vasant Shanbhogue — 1995 — Information and Computation
…The Expressive Power of Indeterminate Dataflow Primitives Prakash Panangaden Vasant Shanbhogue…
Cited by 16 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB