Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. In Jiri Sgall, Ales Pultr, Petr Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Volume 2136 of Lecture Notes in Computer Science, pages 159-172, Springer, 2001. [doi]
@inproceedings{BarrettHMRRS01,
title = {Analysis Problems for Sequential Dynamical Systems and Communicating State Machines},
author = {Christopher L. Barrett and Harry B. Hunt III and Madhav V. Marathe and S. S. Ravi and Daniel J. Rosenkrantz and Richard Edwin Stearns},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2136/21360159.htm},
tags = {analysis, state machines},
researchr = {https://researchr.org/publication/BarrettHMRRS01},
cites = {0},
citedby = {0},
pages = {159-172},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings},
editor = {Jiri Sgall and Ales Pultr and Petr Kolman},
volume = {2136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42496-2},
}