Foundations of Software Science and Computational Structures

DOI10.1007/b106850zbMath1118.68568OpenAlexW1588712707MaRDI QIDQ5705913

Stefano Cattani, Marta Kwiatkowska, Gethin Norman, Roberto Segala

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A Demonic Approach to Information in Probabilistic Systems ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ A return to stochasticity and probability in spiking neural P systems ⋮ A logical duality for underspecified probabilistic systems ⋮ Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ⋮ Random Measurable Selections ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Approximating Markov Processes by Averaging ⋮ Extending Timed Process Algebra with Discrete Stochastic Time ⋮ A theory of stochastic systems. I: Stochastic automata

This page was built for publication: Foundations of Software Science and Computational Structures