Research outputs (1)

1. Published

   Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

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