Skip to main content
SpringerLink
Log in

Bipolar synchronization systems

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1980)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Petri, C. A.: Kommunikation mit Automaten. Institut für Intrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn, 1962.

    Google Scholar 

  2. Genrich, H. J.; Lautenbach, K.; Thiagarajan, P.S: An overview of Net Theory. Course Material of the Advanced course on General Net Theory of Systems and Processes, Hamburg, 1979. (Published by GMD, St. Augustin)

    Google Scholar 

  3. Genrich, H. J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, pp 143–161, 1973.

    Google Scholar 

  4. Commoner, F.; Holt, A. W.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Computer and System Sc. 5, pp 511–523, 1973.

    Google Scholar 

  5. Jump, J. R.; Thiagarajan, P. S.: On the Equivalence of Asynchronous Control Structures. SIAM Journal on Computing, 2, pp 67–87, 1973.

    Google Scholar 

  6. Genrich, H. J.; Thiagarajan, P. S.: Bipolar Synchronization Systems. ISF-Report 80.02, GMD, St.Augustin, West Germany (1980).

    Google Scholar 

  7. Holt, A. W.: Roles and Activities. Unpublished Monograph, Boston University Academic Computing Centre, 1979.

    Google Scholar 

  8. Shapiro, R. M.: Calculating Logical and Probabilistic Dependencies in a Class of Net Models. Internal Report, Meta Information Applications, Inc., Wellfleet, MA, U.S.A., 1975.

    Google Scholar 

  9. Yoeli, M.: A Structured Approach to Parallel Programming and Control. Proceedings of the First European Conference on Parallel and Distributed Processing (J. C. Syre, Editor), Toulouse, France, pp 163–170, 1979.

    Google Scholar 

  10. Jodwani, N. D; Jump, J. R.: Top-down Design in the Context of Parallel Programs. Information and Control 40, pp 241–257, 1979.

    Google Scholar 

  11. Valette, R.: Analysis of Petri Nets by Stepwise Refinement. J. Computer and System Sc., 18, pp 35–46, 1979.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssystemforschung (ISF), Gesellschaft für Mathematik und Datenverarbeitung, Schloss Birlinghoven, D-5205, St. Augustin 1

    H. J. Genrich & P. S. Thiagarajan

Authors
  1. H. J. Genrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. S. Thiagarajan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jaco de Bakker Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Genrich, H.J., Thiagarajan, P.S. (1980). Bipolar synchronization systems. In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_76

Download citation

  • DOI: https://doi.org/10.1007/3-540-10003-2_76

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10003-4

  • Online ISBN: 978-3-540-39346-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation