"A Complete Axiomatisation for Probabilistic Trace Equivalence."

Ferry Timmers, Jan Friso Groote (2020)

Details and statistics

DOI: 10.7561/SACS.2020.1.69

access: open

type: Journal Article

metadata version: 2020-09-05