Superposition refinement of reactive systems

  title={Superposition refinement of reactive systems},
  author={Ralph-Johan Back and Kaisa Sere},
  journal={Formal Aspects of Computing},
Superposition refinement enhances an algorithm by superposing one computation mechanism onto another mechanism, in a way that preserves the behavior of the original mechanism. Superposition seems to be particularly well suited to the development of parallel and distributed programs: an originally simple sequential algorithm can be extended with mechanisms that distribute control and state information to many processes, thus permitting efficient parallel execution of the algorithm. We will show… CONTINUE READING
62 Extracted Citations
15 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 62 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 15 references

Theories of Concurrency: Unification and Extension

  • Baeten, J. W. Klop
  • Computer Science,
  • 1990

A compositional approach to superposition

  • L. Boug, N. Francez
  • In Proc. of the 14th ACM Conference on Principles…
  • 1988

The specification statement

  • C C.Morgani
  • ACM Transactions on Programming Languages and…
  • 1988
1 Excerpt

A methodology for developing distributed programs

  • K. Sere
  • IEEE Transactions on Software Engineering
  • 1987

Similar Papers

Loading similar papers…