Approximate reasoning for real-time probabilistic processes

DOI10.2168/LMCS-2(1:4)2006zbMath1126.68055OpenAlexW2950924851MaRDI QIDQ5310651

Radha Jagadeesan, Vineet Gupta, Prakash Panangaden

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-2(1:4)2006

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Bisimulation for Feller-Dynkin processes ⋮ On behavioural pseudometrics and closure ordinals ⋮ TCC, with History ⋮ Approximating and computing behavioural distances in probabilistic transition systems ⋮ Quantitative Abstractions for Collective Adaptive Systems

This page was built for publication: Approximate reasoning for real-time probabilistic processes