Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Normal forms for algebras of connections
Theoretical Computer Science
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science
Monads of coalgebras: rational terms and term graphs
Mathematical Structures in Computer Science
Towards a compositional approach to model transformation for software development
Proceedings of the 2009 ACM symposium on Applied Computing
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |