Brussels / 3 & 4 February 2024


How to create the universal operating system

We foresee, moving into the future, the need to be able to connect anything and everything. This will lead to a scale of things that will become incomprehensible by mere mortals if we apply current day approaches. The main reasons for the predicted incomprehensibility are: combinatory logic complexities, further conflated by state and concurrency. In this talk I will discuss the different ingredients of the Dezyne language that aim to dispel these, among which is the formal basis for the language expressed in the mCRL2 formal language framework.


Rutger van Beusekom