Stirling, Colin
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.

	Keyword	Results for this URL	Total searches