Axioms for bigraphical structure
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
Conceptual Mathematics: A First Introduction to Categories
Conceptual Mathematics: A First Introduction to Categories
Proceedings of the 20th International Conference on Concurrency Theory
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Pure bigraphs: Structure and dynamics
Information and Computation
Biochemical reaction rules with constraints
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |