A complete approximation theory for weighted transition systems

DOI10.1007/978-3-319-47677-3_14zbMath1393.68116OpenAlexW2529242558MaRDI QIDQ1660779

Radu Mardare, Bingtian Xue, Mikkel Hansen, Mathias Ruggaard Pedersen, Kim Guldstrand Larsen

Publication date: 16 August 2018

Full work available at URL: https://strathprints.strath.ac.uk/70266/

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: A complete approximation theory for weighted transition systems