POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Normal forms for algebras of connections
Theoretical Computer Science
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Functorial Semantics for Multi-algebras
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
Deriving bisimulation congruences using 2-categories
Nordic Journal of Computing
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
Adhesive DPO Parallelism for Monic Matches
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculating Colimits Compositionally
Concurrency, Graphs and Models
Synthesising CCS bisimulation using graph rewriting
Information and Computation
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
Saturated LTSs for adhesive rewriting systems
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Process bisimulation via a graphical encoding
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Observing reductions in nominal calculi via a graphical encoding of processes
Processes, Terms and Cycles
Hi-index | 0.00 |