Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Logic

COLOG 1988: COLOG-88 pp 1–2Cite as

Algebraic specified processes and enumerable models

  • Conference paper
  • First Online:

  • 166 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 417))

This is a preview of subscription content, log in via an institution.

References

  1. 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).

    Google Scholar 

  2. Morozov A.S. Algebraic processes and enumerable models. (Russian) In: The specification languages and the logic programming. (Vychislitelnye systemy),124(1988),Novosibirsk,20–25

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of mathematics, 630090, Novosibirsk 90, USSR

    Morozov Andrey

Authors
  1. Morozov Andrey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Per Martin-Löf Grigori Mints

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation