Dynamic connectors for concurrency
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
Open Ended Systems, Dynamic Bisimulation and Tile Logic
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
| Hi-index | 0.00 |