Я несколько лет занимаюсь системами/сетями взаимодействия (interaction nets/interaction systems), в основном, в связи с λ-исчислением. Я заметил, что Вас заинтересовал подкласс interaction systems, называемый hard interaction systems, hardware-применения которых обычно называют как clockless computation и/или handshake technology. В своих поисках мне попались несколько статей, из них в своем архиве у меня лежат три из них. Я подумал, что они Вас могут заинтересовать:
Arjan Bink and Mrk de Clercq, Handshake Solutions, and Richard York, ARM. ARM996HS Synthesizable CPU with Clockless Technology (2006); Denis Bechet, Sylvain Lippi. Universal Boolean Systems (2008); Denis Bechet, Sylvain Lippi. Hard combinators (2008).
Я положил все три документа в виде PDF на Dropbox:
no subject
Arjan Bink and Mrk de Clercq, Handshake Solutions, and Richard York, ARM. ARM996HS Synthesizable CPU with Clockless Technology (2006);
Denis Bechet, Sylvain Lippi. Universal Boolean Systems (2008);
Denis Bechet, Sylvain Lippi. Hard combinators (2008).
Я положил все три документа в виде PDF на Dropbox:
https://www.dropbox.com/sh/mv6a1x9lql6y3wg/AAAdSDegYkE7wRRSBFsWfOTra