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
Normal forms for algebras of connections
Theoretical Computer Science
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
Linear Ordered Graph Grammars and Their Algebraic Foundations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
Deriving weak bisimulation congruences from reduction systems
CONCUR 2005 - Concurrency Theory
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
An Observational Model for Spatial Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Hierarchical models for service-oriented systems
Rigorous software engineering for service-oriented systems
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Hi-index | 0.00 |