Changes for page ReSpecT

From version 7.1
edited by Andrea Omicini
on 10/08/2021 16:40
Change comment: There is no comment for this version
To version 8.1
edited by Andrea Omicini
on 10/08/2021 16:40
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,8 +1,7 @@
1 1  {{include document="Main.MacroSheet"/}}{{velocity}}
2 -== What is #respect()? ==
2 +>#respect() (**Re**action **Spec**ification **T**uples) is a logic-based coordination language enabling tuple space programming
3 3  
4 -#respect() (**Re**action **Spec**ification **T**uples) is a logic-based coordination language enabling tuple space programming.
5 -More precisely, #respect() promotes on a tuple-based coordination model, where
4 +#respect() promotes on a tuple-based coordination model, where
6 6  * communication is based on //logic tuples//;
7 7  * coordination occur through //logic tuple spaces//;
8 8  * the behaviour of each tuple space is //programmable// so to embed any computable coordination policy.

2P |  TuCSoN