#### Filter Results:

- Full text PDF available (142)

#### Publication Year

1978

2017

- This year (12)
- Last 5 years (45)
- Last 10 years (94)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Robert L. Constable, Stuart F. Allen, +9 authors Scott F. Smith
- 1986

Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information transducer. The store-as-valuation conception of von Neumann computing is replaced by the notion that the store is a constraint (a finite representation of a possibly infinite set of… (More)

- Josée Desharnais, Abbas Edalat, Prakash Panangaden
- Inf. Comput.
- 1997

In this paper we introduce a new class of labelled transition systems Labelled Markov Processes and define bisimulation for them. Labelled Markov processes are probabilistic labelled transition systems where the state space is not necessarily discrete, it could be the reals, for example. We assume that it is a Polish space (the underlying topological space… (More)

- Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
- Theor. Comput. Sci.
- 2004

The notion of process equivalence of probabilistic processes is sensitive to the exact probabilities of transitions. Thus, a slight change in the transition probabilities will result in two equivalent processes being deemed no longer equivalent. This instability is due to the quantitative nature of probabilistic processes. In a situation where the process… (More)

- Ellie D'Hondt, Prakash Panangaden
- Mathematical Structures in Computer Science
- 2006

We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics. Rather than trying to reduce quantum computation to probabilistic programming we develop a notion that… (More)

We observe that equivalence is not a robust concept in the presence of numerical information such as probabilities in the model. We develop a metric analogue of weak bisimulation in the spirit of our earlier work on metric analogues for strong bisimulation. We give a fixed point characterization of the metric. This makes available coinductive reasoning… (More)

- Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
- CONCUR
- 1999

Partial Labeled Markov Chains are simultaneously generalizations of process algebra and of traditional Markov chains. They provide a foundation for interacting discrete probabilistic systems, the interaction being synchronization on labels as in process algebra. Existing notions of process equivalence are too sensitive to the exact probabilities of various… (More)

- Vincent Danos, Elham Kashefi, Prakash Panangaden
- J. ACM
- 2007

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model that is based on unitary operations. Among measurement-based quantum computation methods, the recently… (More)

- Josée Desharnais, Prakash Panangaden
- J. Log. Algebr. Program.
- 2003

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then… (More)

- Norm Ferns, Prakash Panangaden, Doina Precup
- AAAI
- 2004

Markov decision processes (MDPs) offer a popular mathematical tool for planning and learning in the presence of uncertainty (Boutilier, Dean, & Hanks 1999). MDPs are a standard formalism for describing multi-stage decision making in probabilistic environments. The objective of the decision making is to maximize a cumulative measure of longterm performance,… (More)