Back to the format: a survey on SOS for probabilistic processes

From MaRDI portal
Publication:6151619

DOI10.1016/j.jlamp.2023.100929OpenAlexW4388640038MaRDI QIDQ6151619

Ruggero Lanotte, Valentina Castiglioni, Simone Tini

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100929






Cites Work


This page was built for publication: Back to the format: a survey on SOS for probabilistic processes