Extended Abstract
This research was funded in part by the Office of Naval Research under contract N00014-85-K-0398.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Ben-Ari, A. Pnueli, and Z. Manna. The temporal logic of branching time. Acta Informatica, 20, 1983.
R. T. Boute. On the shortcomings of the axiomatic approach as presently used in computer science. In Compeuro 88 Systems Design: Concepts Methods, and Tools, 1988.
E. M. Clarke, Emerson A., and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications: A practical approach. In Proceedings of the 10th Annual Symposium on Principles of Programming Languages, pages 117–119, 1983.
E.M. Clarke, M.C. O. Grumberb, and Browne. Reasoning about networks with many identical finite state processes. Technical Report cmu-cs-86-155, Carnegie-Mellon University, October 1986.
E. A. Emerson and J. Y. Halpern. Sometimes and’ not never’ revisited: on branching versus linear time temporal logic. Journal of the ACM, 33(1), January 1983.
G. Gouda, M. and C. Chang. Proving liveness for networks of communicating finite state machines. ACM Transactions on Programming Languages and Systems, 8(1), January 1986.
Ferenc Gecseg. Products of Automata. Monographs in Theoretical Computer Science. Springer Verlag, 1986.
R. L. Goodstein. Recursive Number Theory. North Holland, Amsterdam, 1957.
D. Harel. Statecharts: A visual formalism for complex systems. Technical report, Weizmann Institute, 1984.
D. Harel. On the formal semantics of statecharts. In Proceedings of the Symposium on Logic in Computer Science, Ithaca, June 1987.
John E. Hopcroft and Jeffry D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Welsey, Reading MA, 1979.
F. Kroger. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1987.
Kurshan. Modelling concurrent processes. In Proc of Symposia in Applied Mathematics., 1985.
E.F. Moore, editor. Sequential Machines: Selected Papers. Addison-Welsey, Reading MA, 1964.
Z. Manna and A. Pnueli. The modal logic of programs. In Proceedings of the 6th International Colloquium on Automata, Languages, and Programming, volume 71 of Lecture Notes in Computer Science, New York, 1979. Springer-Verlag.
J.S. Ostroff and W.M. Wonham. Modelling, specifying, and verifying real-time embedded computer systems. In Symposium on Real-Time Systems, Dec 1987.
Rozsa Peter. Recursive functions. Academic Press, 1967.
C. Smorynski Self-Reference and Modal Logic. Springer-Verlag, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yodaiken, V. (1991). The algebraic feedback product of automata. In: Clarke, E.M., Kurshan, R.P. (eds) Computer-Aided Verification. CAV 1990. Lecture Notes in Computer Science, vol 531. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023740
Download citation
DOI: https://doi.org/10.1007/BFb0023740
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54477-7
Online ISBN: 978-3-540-38394-9
eBook Packages: Springer Book Archive