Proof Theory for µCRL: A Language for Processes with Data.

Published in: Semantics of Specification Languages (1993)

Keyphrases