Login / Signup

The upsilon-Calculus as an Assertion-Language for Fairness Arguments

Frank A. StompWillem P. de RoeverRob Gerth
Published in: Inf. Comput. (1989)
Keyphrases