The existence of refinement mappings
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of a Multiplier: 64 Bits and Beyond
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Proving assertions about parallel programs
Journal of Computer and System Sciences
An Approach to Composition Motivated by wp
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Ten years of analyzing actors: Rebeca experience
Formal modeling
Event-b decomposition for parallel programs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Compositional semantics of an actor-based language using constraint automata
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
| Hi-index | 0.00 |
Compositional reasoning about a system means writing its specification as the parallel composition of components and reasoning separately about each component. When distracting language issues are removed and the underlying mathematics is revealed, compositional reasoning is seen to be of little use.