Proposition de Semantique Denotationelle pour des Reseaux de Processus avec Operateur de Melange Equitable

@article{Boussinot1982PropositionDS,
  title={Proposition de Semantique Denotationelle pour des Reseaux de Processus avec Operateur de Melange Equitable},
  author={Fr{\'e}d{\'e}ric Boussinot},
  journal={Theor. Comput. Sci.},
  year={1982},
  volume={18},
  pages={173-206}
}
Dans [4,5] G. Kahn a considere une ciasse de reseaux de processus pour lesquels il est possible de fournir une semantique denotationnelle ([13, !.6,9]), Ces reseaux ont la propriete d’gtre ‘a resultat determine’ (c’est-a-dire que toutes les executions possibles m&rent au meme resultat). Dans ce tcxte nous proposons d’iniroduire le non-determinisme dans la sous classe des reseaux de Kahn non :&ursifs par l’utilisation d’un processus de melange equitable (‘fair merge’). Nous proposons egalement… CONTINUE READING

From This Paper

Topics from this paper.
6 Citations
4 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Kosinsky , Denotational semantics of determinate and nondeterminate data flow programs

  • R. P.
  • 1978

Kosinsky , A straightforward denotational semantics for nondeterminate data tlow programs

  • R. P.
  • 1977

An anomaly in the specifications of non determinate Packet systems

  • J. D. Brock, W. B. Ackerman

Similar Papers

Loading similar papers…