Computing Publications

Publications Home » Separation - past, present, and future

Separation - past, present, and future

Ian Hodkinson, Mark Reynolds

Book Chapter
2005
pp.117–142
College Publications
ISBN 1-904987-12-5
Abstract

This survey article discusses separation in temporal logic, focusing on the original application of separation, some more recent activity on it, and some open problems about it.

Notes

Book title: We will show them! (Essays in honour of Dov Gabbay on his 60th birthday), volume 2,

S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb, J. Woods, eds.

PDF of full publication (266 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.