TCS / Software and Benchmarks / Spin and Maria models of a distributed system
Helsinki University of Technology, Laboratory for Theoretical Computer Science

Spin and Maria models of a distributed system

Here are available the Spin and Maria models of a distributed system studied in

Topi Pohjolainen.
Model checking a client-server system with a scalable level of concurrency.
Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 22 November 2005. Ilkka Niemelä.