Login / Signup

A Remark on Bisimulation Between Probabilistic Processes.

Bard BloomAlbert R. Meyer
Published in: Logic at Botik (1989)
Keyphrases