How to create the universal operating system
- Track: Declarative and Minimalistic Computing devroom
- Room: H.1309 (Van Rijn)
- Day: Sunday
- Start: 10:20
- End: 10:40
- Video only: h1309
- Chat: Join the conversation!
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.
Speakers
Rutger van Beusekom |