|
|
|
|
|
|
|
|
|
|
|
Publications - More Infinite Results
|
|
|
|
|
Reference:
O. Burkart and J. Esparza. More infinite results. Electronic Notes in Theoretical Computer Science, 6, 1996.
Abstract:
Recently there has been a spurt of activity in concurrency theory centered on the analysis of infinite-state systems. The following two problems have been intensely investigated: (1) given two infinite-state systems, are they equal with respect to a certain equivalence notion?, and (2) given an infinite-state system and a property expressed in a certain temporal logic, does the system satisfy the property? In his paper ``Infinite Results'' iteMol96 , Moller surveys some of the key results on the decidability and complexity of problem (1). This paper is a survey on the results about problem (2).
Suggested BibTeX entry:
@article{BE96,
author = {O. Burkart and J. Esparza},
journal = {Electronic Notes in Theoretical Computer Science},
title = {More Infinite Results},
volume = {6},
year = {1996}
}
|
|
|
|
|
|
|
|
|
|