Conjunction on processes: Full abstraction via ready-tree semantics
Theoretical Computer Science
Rule formats for determinism and idempotence
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Rule formats for determinism and idempotence
Science of Computer Programming
Hi-index | 0.00 |