An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Observational proofs by rewriting
Theoretical Computer Science
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |