Login / Signup

Testing Equivalences and Fully Abstract Models for Probabilistic Processes.

Ivan Christoff
Published in: CONCUR (1990)
Keyphrases