加载中…
In this paper we propose a research programme for getting structural characterisations for 2-dimensional languages generated by self-assembling tiles. This is part of a larger programme on getting a formal foundation of parallel, interactive, distributed systems.

生成讲解博客的中文版本

生成AI智能校验的中文版本