A superimposition control construct for distributed systems

@article{Katz1993ASC,
  title={A superimposition control construct for distributed systems},
  author={Shmuel Katz},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1993},
  volume={15},
  pages={337-356}
}
  • Shmuel Katz
  • Published 1993
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
A control structure called a superimposition is proposed. The structure contains schematic abstractions of processes called roletypes in its declaration. Each roletype may be bound to processes from a basic distributed algorithm, and the operations of the roletype will then execute interleaved with those of the basic processes, over the same state space. This structure captures a kind of modularity natural for distributed programming, which previously has been treated using a macro-like… Expand
223 Citations
Superimposition: A Form of Separation of Concerns for Distributed Systems
  • 1
A calculus of superimpositions for distributed systems
  • 31
Aspects and Superimpositions ( Position Paper )
  • 1
  • PDF
Superposition refinement of reactive systems
  • 89
Adding Superimposition To a Language Semantics — Extended Abstract —
  • 8
  • PDF
Superposition Re nement of Reactive Systems
  • R. J. R. Back K. Sere
  • 1993
  • 3
Adding superimposition to a language semantics
  • 6
Layering Distributed Algorithms
  • 1
Distributed System Development in B
  • 59
...
1
2
3
4
5
...

References

SHOWING 1-4 OF 4 REFERENCES
A compositional approach to superimposition
  • 107
  • Highly Influential
Distributed Termination
  • 259
  • Highly Influential
  • PDF
Parallel program design - a foundation
  • 2,121
  • Highly Influential
Termination Detection for Distributed Computations
  • R. Topor
  • Computer Science
  • Inf. Process. Lett.
  • 1984
  • 88
  • Highly Influential