ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
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
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
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
A new framework for declarative programming
Theoretical Computer Science
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
A semantic framework for open processes
Theoretical Computer Science
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Complete axioms for stateless connectors
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
| Hi-index | 0.00 |