Algebras of partial sequences — A tool to deal with concurrency

  • Józef Winkowski
Section A Algebraic & Constructive Theory of Machines, Computations and Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blikle, A., An Algebraic Approach to Programs and their Computations, Proc. of MFCS '73 Symp., High Tatras, 1973Google Scholar
  2. 2.
    Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, 1971Google Scholar
  3. 3.
    Paterson, J.L., Computation Sequence Sets, Journal of Comp. and System Sc., Vol 13, No 1, 1976Google Scholar
  4. 4.
    Petri, C.A., Interpretations of Net Theory, GMD, Bonn, 1975, paper presented at MFCS '75 Symp., Marianske Lazne, 1975Google Scholar
  5. 5.
    Sonner, J., The Formal Definition of Categories, Math. Zeits., 80, 1962Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Józef Winkowski
    • 1
  1. 1.Instytut Podstaw Informatyki PANWarszawaPoland

Personalised recommendations