Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1984: Mathematical Foundations of Computer Science 1984 pp 516–525Cite as

Multiprocessor systems and their concurrency

  • Communications
  • Conference paper
  • First Online:

  • 124 Accesses

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. R. Prinoth: An algorithm to construct distributed systems from state-machines. Protocol Specification, Testing and Verification, C. Sunshine (ed.), North Holland Publ. Co. 1982, 261–282.

    Google Scholar 

  2. R. Prinoth: Verteilungsalgorithmen für Zustandsmaschinen. Internal report GMD-IFV, 1981.

    Google Scholar 

  3. W. Reisig: Deterministic buffer synchronization of sequential processes. Acta Informatica 18 (1982) 117–134.

    Google Scholar 

  4. P.H. Starke: Processes in Petri nets. Elektron. Informationsverarbeitung und Kybernetik 17 (1981) 389–416.

    Google Scholar 

  5. P.H. Starke: Petri-Netze. Grundlagen, Anwendungen, Theorie. DVW Berlin 1980.

    Google Scholar 

  6. G. Rozenberg, R. Verraedt: Subset languages of Petri nets. Informatik-Fachberichte 66 (1983) 250–263.

    Google Scholar 

  7. G. Berthelot, G. Memmi, W. Reisig: A control structure for sequential processes synchronized by buffers. Paper presented at the 4th European Workshop on Application ans Theory of Petri nets, Toulouse Sept. 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sektion Mathematik der Humboldt, Universität zu Berlin, PSF 1297, DDR-1086, Berlin

    Peter H. Starke

Authors
  1. Peter H. Starke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. P. Chytil V. Koubek

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Starke, P.H. (1984). Multiprocessor systems and their concurrency. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030335

Download citation

  • DOI: https://doi.org/10.1007/BFb0030335

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13372-8

  • Online ISBN: 978-3-540-38929-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation