9 citations · 15 across the 12 of their papers we have counts for
12 papers
Proceedings 13th International Workshop on Developments in Computational Models
Sandra Alves, Ian Mackie
This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised…
Proceedings Tenth International Workshop on Computing with Terms and Graphs
Maribel Fernández, Ian Mackie
This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph tr…
In-place Graph Rewriting with Interaction Nets
Ian Mackie, Shinya Sato
An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient becau…
Compiling Process Networks to Interaction Nets
Ian Mackie
Kahn process networks are a model of computation based on a collection of sequential, deterministic processes that communicate by sending messages through unbounded channels. They…
An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close corresponde…
Proceedings 9th International Workshop on Developments in Computational Models
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie
This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 2…