References
Bergstra J.A., Klop J.W. An algebraic spesification method for processes over a finitr action set. Preprint IW 232/83, Mathematish centrum, Amsterdam, (1983).
Morozov A.S. Algebraic processes and enumerable models. (Russian) In: The specification languages and the logic programming. (Vychislitelnye systemy),124(1988),Novosibirsk,20–25
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrey, M. (1990). Algebraic specified processes and enumerable models. In: Martin-Löf, P., Mints, G. (eds) COLOG-88. COLOG 1988. Lecture Notes in Computer Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52335-9_43
Download citation
DOI: https://doi.org/10.1007/3-540-52335-9_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52335-2
Online ISBN: 978-3-540-46963-6
eBook Packages: Springer Book Archive