Login / Signup

Modal and Temporal Logics for Processes.

Colin Stirling
Published in: Banff Higher Order Workshop (1995)
Keyphrases