- \paragraph{\wss{}}
- As already discussed, all \hbugs{} actors act as \wss{} offering one or more
- services to neighbor actors. To grant as most accessibility as possible to
- our \wss{} we have chosen to bind them using the HTTP/POST\footnote{Given
- that our proof assistant was entirely developed in the Objective Caml
- language, we have chosen to develop also \hbugs{} in that language in order
- to maximize code reuse. To develop \wss{} in Objective Caml we have
- developed an auxiliary generic library (\emph{O'HTTP}) that can be used to
- write HTTP 1.1 Web servers and abstract over GET/POST parsing. This library
- supports different kinds of Web servers architectures, including
- multi-process and multi-threaded ones.} bindings described in
- \cite{wsdlbindings}.
+%CASSATO
+% \paragraph{\wss{}}
+% As already discussed, all \hbugs{} actors act as \wss{} offering one or more
+% services to neighbor actors. To grant as most accessibility as possible to
+% our \wss{} we have chosen to bind them using the HTTP/POST\footnote{Given
+% that our proof assistant was entirely developed in the Objective Caml
+% language, we have chosen to develop also \hbugs{} in that language in order
+% to maximize code reuse. To develop \wss{} in Objective Caml we have
+% developed an auxiliary generic library (\emph{O'HTTP}) that can be used to
+% write HTTP 1.1 Web servers and abstracts over GET/POST parsing. This library
+% supports different kinds of Web servers architectures, including
+% multi-process and multi-threaded ones.} bindings described in
+% \cite{wsdlbindings}.