Computing Publications

Publications Home » Separation - past, present, and future

Separation - past, present, and future

Ian Hodkinson, Mark Reynolds

Book Chapter
College Publications
ISBN 1-904987-12-5

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.


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
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.