|
|||||
|
|
Hard combinators |
|
| Authors: | Denis B chet,Sylvain Lippi |
| Affiliation: | aLINA, Université de Nantes, Nantes, France;bI3S, Université de Nice, Sophia Antipolis, France |
| Abstract: | Hard Interaction systems can be presented as graph relabeling with a handshake mechanism that provide local synchronization. We present a particular one with only four symbols and seven rules that can be used to simulate all the other hard interaction systems. |
| Keywords: | Interaction nets asynchronous circuits universal machines graph rewriting |
| 本文献已被 ScienceDirect 等数据库收录！ | |