Skip to content

Commit eb2567b

Browse files
authored
Update README.rst
1 parent e29808a commit eb2567b

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

README.rst

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,12 @@ Most general purpose programming languages do not provide syntax for expressing
1010
The absence of such syntax requires programmers to implement their protocols by manually via locks and semaphores.
1111
Given such implicit implementation of the protocol, it is very hard, if not impossible, to reason about its correctness and efficiency of the protocol.
1212

13+
.. image:: http://reo.project.cwi.nl/reo/raw-attachment/wiki/WikiStart/router.png
14+
:align: center
15+
1316
.. _Reo: http://reo.project.cwi.nl/reo/wiki
1417

15-
Reo_, an *exogenous coordination language* designed by prof. dr. F. Arbab at the Centre for Mathematics and Computer Science (​CWI) in Amsterdam, addresses this problem by providing syntax that allows explicit high-level construction of protocols.
18+
Reo_, an *exogenous coordination language* designed by prof. dr. F. Arbab at the Centre for Mathematics and Computer Science (​CWI) in Amsterdam, addresses this problem by providing syntax that allows explicit high-level construction of protocols. This syntax consists of graph-like structures, such as the figure above.
1619
It is much easier to develop correct protocols that are free of dead-locks, live-locks and data races.
1720
The compiler of the coordination language is able to optimize the actual implementation of the protocol.
1821

0 commit comments

Comments
 (0)