A comparison of Statecharts step semantics
Theoretical Computer Science
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
A format for semantic equivalence comparison
Theoretical Computer Science
Hi-index | 0.00 |