Research outputs (6)

1. Published

   Formal Cellular Machinery

   Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

2. Published

   An Implementation of Bigraph Matching

   Research output: Working paper › Research

3. Published

   An Inductive Characterization of Matching in Binding Bigraphs

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

View all (6) »