Coordination Models Based on a Formal Model of Distributed Object Reflection

@article{Talcott2006CoordinationMB,
  title={Coordination Models Based on a Formal Model of Distributed Object Reflection},
  author={Carolyn L. Talcott},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={150},
  pages={143-157}
}
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with distributed objects interacting via asynchronous message passing. The semantics of such a system is a set of event partial orders (event diagrams) giving the interactions during possible system executions. A global coordination requirement is a constraint on the allowed event diagrams. A system coordination specification… CONTINUE READING