Skip to content

Instantly share code, notes, and snippets.

View tuvior's full-sized avatar

Tobias Bordenca tuvior

27 followers · 12 following
  • Lausanne, Switzerland
View GitHub Profile
@tuvior
tuvior / alg-sample.tex
Created September 26, 2016 13:22 — forked from adizere/alg-sample.tex
Latex sample for algorithm implementation, as used in CS-451 Distributed Algorithms
\begin{alltt}
\normalfont
\textbf{Implements}:
UniformReliableBroadcast, \textbf{instance} \textit{urb}.
\textbf{Uses}:
IdealPerfectPointToPointLinks, \textbf{instance} \textit{idealpl}.
\textbf{upon event} \textit{\(<\)urb, Init\(>\)} \textbf{do}
\textit{delivered} := \(\emptyset\);