Calculus of Communicating Systems: A web based tool in Scala

  • Jean-François Gillet
  • Danwel Willame

Student thesis: Master typesMaster in Computer science

Abstract

This master-degree thesis presents the design of a web-based tool for modeling and verifying concurrent processes. These are expressed in the process algebra of Robin Milner: Calculus of Communicating Systems (CCS). The tool allows comparison of processes by means of both simulation and strong bisimulation. The tool also allows to display CCS equations in the form of graphs.
Other similar tools were previously developed, but to the candidates’ knowledge
none were developed in Scala, a programming language that fuses functional and object-oriented paradigms. This thesis describes the functions of the tool, as well as its implementation, while emphasizing the expressiveness provided by Scala.
Date of Award26 Jun 2017
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorWim VANHOOF (President) & Jean-Marie JACQUET (Supervisor)

Cite this

'