From 9ae1eeda8a0e3adcd65e309e50f5c333b32783ea Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 25 Sep 2021 17:23:34 +0900 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index e4b28c8..757c79d 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ ## What is Inpla -Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread runs on each CPU-core with POSIX-thread library. +Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. ![speedup-ratio](pic/benchmark_reuse.png) @@ -597,7 +597,7 @@ In interaction rule definitions, we can specify which agent is reused in the net -### Weak Head Normal Form reduction stragety +### Weak Head Normal Form reduction strategy In this reduction strategy, only connections that have living names are re-written by interaction rules. This is taken for non-terminate computation such as fixed point combinator and process networks. @@ -674,7 +674,7 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se -# Licence +# License Copyright (c) 2021 [Shinya SATO](http://satolab.com/) Released under the MIT license -- cgit v1.2.3