




Publications  More Infinite Results





Reference:
J. Esparza. More infinite results. In Proc. of INFINITY'96, Research Report MIP9614, University of Passau, 1996.
Abstract:
Recently there has been a spurt of activity in concurrency theory centered on the analysis of infinitestate systems. The following two problems have been intensely investigated: (1) given two infinitestate systems, are they equal with respect to a certain equivalence notion?, and (2) given an infinitestate system and a property expressed in a certain temporal logic, does the system satisfy the property? In his CONCUR '96 paper, Moller surveys some of the key results on the decidability and complexity of (1). The purpose of this paper for CONCUR's satellite INFINITY Workshop is to do the same with (2).
Suggested BibTeX entry:
@inproceedings{Esp96,
address = {University of Passau},
author = {J. Esparza},
booktitle = {Proc. of INFINITY'96},
series = {Research Report MIP9614},
title = {More Infinite Results},
year = {1996}
}




