ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
| Hi-index | 0.00 |