GitHub - Rustem/Master-thesis: Faultless web services for building complex systems based on formal theory "Session types"

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.texpadtmp		.texpadtmp
bin		bin
old pics		old pics
plugins		plugins
resources		resources
tests		tests
.classpath		.classpath
.gitignore		.gitignore
.project		.project
0.Abstract.tex		0.Abstract.tex
1.Introduction.tex		1.Introduction.tex
2.Fundamentals.tex		2.Fundamentals.tex
3.Formal.tex		3.Formal.tex
4.Session.tex		4.Session.tex
5.Evaluation.tex		5.Evaluation.tex
6.Conclusion.tex		6.Conclusion.tex
7.Appendix.tex		7.Appendix.tex
8.Additional.tex		8.Additional.tex
Assignment.tex		Assignment.tex
Bibliography.bib		Bibliography.bib
Config.tex		Config.tex
LICENSE		LICENSE
LICENSE.GPL		LICENSE.GPL
LICENSE.LGPL		LICENSE.LGPL
README		README
article.pdf		article.pdf
article.tex		article.tex
build.xml		build.xml
changes.log		changes.log
tex.rar		tex.rar
title.tex		title.tex
todo.txt		todo.txt

Repository files navigation

Master thesis

Building faultless web services using formal theory of "session typing" by  Kohei Honda, Nobuko Yoshida


Session typing has been implemented in programming language called Session-Java (SJ)

SessionJ copyright (C) 2008 Raymond Hu, Imperial College London

http://www.doc.ic.ac.uk/~rh105/sessionj.html


--------


This software was designed by

  Raymond Hu (Imperial College London)
  Nobuko Yoshida (Imperial College London)
  Kohei Honda (Queen Mary, University of London) 
   
Acknowledgements to Fred Van Den Driessche for contributions to the implementation, and Andi Bejleri for bug finding and comments.