Skip to main content
Springer Nature Link
Log in

On the observational semantics of fair parallelism

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

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

Included in the following conference series:

  • 128 Accesses

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. Austry,D. and Boudol.G. Algèbre de processus et synchronisation. (private communication).

    Google Scholar 

  2. Castellani,I., Franceschi,P. and Montanari,U. Labelled event structures: a model for observable concurrency. IFIP TC-2 Working Conference, Garmisch-Partenkirchen, 1982.

    Google Scholar 

  3. Darondeau,Ph. Processus non séquentiels et leurs observations en univers non centralisé. in LNCS 83, 1980.

    Google Scholar 

  4. Darondeau,Ph. An enlarged definition and complete axiomatization of observational congruence of finite processes. in LNCS 137, 1982.

    Google Scholar 

  5. Eilenberg,S. Automata, Languages and Machines, Vol. 1. Academic Press ed.

    Google Scholar 

  6. Hennessy,M. and Milner,R. On observing non determinism and concurrency. in LNCS 85, 1980.

    Google Scholar 

  7. Hennessy,P. and Plotkin,G. A term model for CCS. in LNCS 88, 1980.

    Google Scholar 

  8. Hoare,C.A.R., Brookes,S.D., and Roscoe,A.D. A theory of communicating sequential processes. Technical Monograph PRG-16, Computing Laboratory, University of Oxford, 1981.

    Google Scholar 

  9. Kuiper,R. and de Roever.W.P. Fairness assumptions for CSP in a temporal logic framework. IFIP TC-2 Working Conference, Garmisch-Partenkirchen, 1982.

    Google Scholar 

  10. Milner,R. A calculus of communicating systems. LNCS 92, 1980.

    Google Scholar 

  11. Milner, R. Calculi for synchrony and asynchrony. CSR-104-82, Computer Science Department, Edinburgh, 1982.

    Google Scholar 

  12. Park, D. On the semantics of fair parallelism. in LNCS 86, 1980.

    Google Scholar 

  13. Plotkin,G. A structural approach to operational semantics. Daimi FN-19, Computer Science Department, Aarhus University, 1981.

    Google Scholar 

  14. Winskel,G. Events in computation. PhD Thesis, CST-10-80, Edinburgh, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Campus de Beaulieu, F-35042, Rennes Cedex

    Ph. Darondeau & L. Kott

Authors
  1. Ph. Darondeau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Kott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Josep Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Darondeau, P., Kott, L. (1983). On the observational semantics of fair parallelism. In: Diaz, J. (eds) Automata, Languages and Programming. ICALP 1983. Lecture Notes in Computer Science, vol 154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036905

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12317-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics