Advertisement

On the observational semantics of fair parallelism

  • Ph. Darondeau
  • L. Kott
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 154)

Keywords

Operational Semantic Atomic Agent Parallel Composition Action Demand Asynchronous System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AuB82]
    Austry,D. and Boudol.G. Algèbre de processus et synchronisation. (private communication).Google Scholar
  2. [CFM82]
    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. [Da80]
    Darondeau,Ph. Processus non séquentiels et leurs observations en univers non centralisé. in LNCS 83, 1980.Google Scholar
  4. [Da82]
    Darondeau,Ph. An enlarged definition and complete axiomatization of observational congruence of finite processes. in LNCS 137, 1982.Google Scholar
  5. [Ei74]
    Eilenberg,S. Automata, Languages and Machines, Vol. 1. Academic Press ed.Google Scholar
  6. [He80]
    Hennessy,M. and Milner,R. On observing non determinism and concurrency. in LNCS 85, 1980.Google Scholar
  7. [He80]
    Hennessy,P. and Plotkin,G. A term model for CCS. in LNCS 88, 1980.Google Scholar
  8. [Ho81]
    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. [KuR82]
    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. [Mi80]
    Milner,R. A calculus of communicating systems. LNCS 92, 1980.Google Scholar
  11. [Mi82]
    Milner, R. Calculi for synchrony and asynchrony. CSR-104-82, Computer Science Department, Edinburgh, 1982.Google Scholar
  12. [Pa80]
    Park, D. On the semantics of fair parallelism. in LNCS 86, 1980.Google Scholar
  13. [P181]
    Plotkin,G. A structural approach to operational semantics. Daimi FN-19, Computer Science Department, Aarhus University, 1981.Google Scholar
  14. [Wi80]
    Winskel,G. Events in computation. PhD Thesis, CST-10-80, Edinburgh, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Ph. Darondeau
    • 1
  • L. Kott
    • 1
  1. 1.IRISARennes Cedex

Personalised recommendations