Superimposition for Interacting Processes

@inproceedings{Francez1990SuperimpositionFI,
  title={Superimposition for Interacting Processes},
  author={N. Francez and I. Forman},
  booktitle={CONCUR},
  year={1990}
}
  • N. Francez, I. Forman
  • Published in CONCUR 1990
  • Computer Science
  • The paper defines an operator for superimposition, in contrast to previous transformational views. It does so in the context of the multiparty interaction as the primitive for synchronization and interprocess communication in distributed programs. The operator is given a (structured) operational semantics, and some aspects of its methodological importance are discussed. The papers distills the essentials of superimposition, in contrast to other approaches where its role is mixed with other… CONTINUE READING
    45 Citations

    Topics from this paper

    Interacting processes: a language for coordinated distributed programming
    • N. Francez, I. Forman
    • Computer Science
    • Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'
    • 1990
    • 12
    Synchrony Loosening Transformations for Interacting Processes
    • 10
    • PDF
    Superposition Re nement of Reactive Systems
    • R. J. R. Back K. Sere
    • 1993
    • 3
    Layering Distributed Algorithms within the B-Method
    • 4
    • Highly Influenced
    Superposition refinement of reactive systems
    • 89
    Layering Distributed Algorithms
    • 1
    Multiway Synchrinizaton Verified with Coupled Simulation
    • 64

    References

    SHOWING 1-10 OF 26 REFERENCES
    Conflict propagation
    • N. Francez, I. Forman
    • Computer Science
    • Proceedings. 1990 International Conference on Computer Languages
    • 1990
    • 6
    A compositional approach to superimposition
    • 107
    Communicating sequential processes
    • 2,686
    • PDF
    Distributed cooperation with action systems
    • 308
    Decomposition of Distributed Programs into Communication-Closed Layers
    • 221
    • PDF
    Cooperating Proofs for Distributed Programs with Multiparty Interactions
    • N. Francez
    • Computer Science, Medicine
    • Inf. Process. Lett.
    • 1989
    • 25
    • PDF
    Distributed Termination
    • 259
    • PDF