International Symposium on Mathematical Foundations of Computer Science

MFCS 1992: Mathematical Foundations of Computer Science 1992 pp 62-80

Theory of computation over stream algebras, and its applications

  • J. V. Tucker
  • J. I. Zucker
Invited Lectures

DOI: 10.1007/3-540-55808-X_6

Volume 629 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Tucker J.V., Zucker J.I. (1992) Theory of computation over stream algebras, and its applications. In: Havel I.M., Koubek V. (eds) Mathematical Foundations of Computer Science 1992. MFCS 1992. Lecture Notes in Computer Science, vol 629. Springer, Berlin, Heidelberg

Abstract

The theory of computable functions on abstract data types is outlined. Methods for extending the theory to establish the scope and limits of computation on streams over abstract data types arc described. Applications of these methods to the theory of synchronous concurrent algorithms are discussed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1992

Authors and Affiliations

  • J. V. Tucker
    • 1
  • J. I. Zucker
    • 2
  1. 1.Department of Mathematics and Computer ScienceUniversity College of SwanseaSingleton ParkWales
  2. 2.Department of Computer ScienceMcMaster UniversityHamiltonCanada