1 citations · 1 across the 5 of their papers we have counts for
5 papers
Two behavioural pseudometrics for continuous-time Markov processes
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in discrete-time settings where a…
A behavioural pseudometric for continuous-time Markov processes
Linan Chen, Florence Clerc, Prakash Panangaden
In this work, we generalize the concept of bisimulation metric in order to metrize the behaviour of continuous-time processes. Similarly to what is done for discrete-time systems,…
Polynomial Lawvere Logic
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a s…
Behavioural pseudometrics for continuous-time diffusions
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where t…
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…