Kostas Chatzikokolakis
Home > Software
Zoo.gr
Co-founded in 2003 the greek social networking site
www.zoo.gr (greek only). Today it's one of the
most popular greek web sites.
A tool to check demonic bisimulation
The tool decides demonic bisimulation for an extension of probabilistic CCS with syntactic
schedulers. The input is two finite CCS processes. The tool converts them to a
probabilistic automaton, and then implements an algorithm to decide bisimulation
for such automata.
More information can be found in
the FOSSACS'09 paper.
README file with instructions.
Download.
LCI
LCI is an interpreter for the lambda calculus. It supports many advanced features
like recursion, user-defined operators and multiple evaluation strategies,
all based on the pure calculus. Project
page.
Small tools developed for my thesis
- Corner points: calculate the set of corner points of a channel. The
corner points can be used to compute the maximum probability of error and
to improve the Hellman-Raviv and Santhi-Vardy bounds. More information
can be found in the JCS'08 and
CSF'07 papers.
README file with instructions.
Download.
- PRISM model generator: generates PRISM models for the Dining
Cryptographers and Crowds protocols. It can also use PRISM to calculate
the capacity of the corresponding channels. More information can be found in
the I&C paper.
README file with instructions.
Download.
Requirements: These scripts require Perl to run and have been tested in
Linux. The GUI of the corners tool also requires the Perl/TK library. Finally
some parts of the model generator tool require PRISM and gnuplot to be
installed.
Back