Coordinating First-Order

@inproceedings{Smolka1999CoordinatingF,
  title={Coordinating First-Order},
  author={Scott A. Smolka},
  year={1999}
}
A rst-order multiparty interaction is an abstraction mechanism that deenes communication among a set of formal process roles. Actual processes participate in a rst-order interaction by enroling into roles, and execution of the interaction can proceed when all roles are lled by distinct processes. As in CSP, enrolement statements can serve as guards in alternative commands. The enrolement guard scheduling problem then is to enable the execution of rst-order interactions through the judicious… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 26 REFERENCES

Communication and Concurrency

R. Milner
  • International Series in
  • 1989
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Con ict propagation

N. Francez, I. Forman
  • Proceedings of
  • 1990
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

On the design of large distributed systems

I. Forman
  • Proceedings of
  • 1986
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

An implementation of N-party synchronization using tokens

D. Kumar
  • 1990
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Synchronization of Asynchronous Processes in CSP

  • ACM Trans. Program. Lang. Syst.
  • 1989
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL