Calculus of Communicating Systems: A web based tool in Scala

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 Award	26 Jun 2017
Original language	English
Awarding Institution	University of Namur
Supervisor	Wim Vanhoof (President) & Jean-Marie Jacquet (Supervisor)