Partially Ordered Runs: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines at the Cusp of the Millenium
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Yuri, logic, and computer science
Fields of logic and computation
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Hi-index | 0.00 |