Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Hi-index | 0.00 |