Modal and Temporal Logics for Processes

Modal and Temporal Logics for Processes (1996)

by Colin Stirling

Citations:

63 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Modal and Temporal Logics for Processes	user correction - Legacy Corrections
AUTHOR NAME	Colin Stirling	SVM HeaderParse 0.1
AUTHOR AFFIL	Dept. of Computer Science; University of Edinburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Edinburgh EH9 3JZ, UK	SVM HeaderParse 0.1
ABSTRACT	this paper have been presented at the 4th European Summer School in Logic, Language and Information, University of Essex, 1992; at the Tempus Summer School for Algebraic and Categorical Methods in Computer Science, Masaryk University, Brno, 1993; and the Summer School in Logic Methods in Concurrency, Aarhus University, 1993. I would like to thank the organisers and the participants of these summer schools, and of the Banff higher order workshop. I would also like to thank Julian Bradfield for use of his Tex tree constructor for building derivation trees and Carron Kirkwood, Faron Moller, Perdita Stevens and David Walker for comments on earlier drafts.	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	31 found	ParsCit 1.0