Superimposition for Interacting Processes

Authors:
Nissim Francez;Ira R. Forman
Affiliations:
-;-
Venue:
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Year:
1990

Citing 0
Cited 3

Retrenchment, Refinement, and Simulation

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming
Symbolic model checking of software product lines

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract