«Rewriting Engine for Process Algebra», Anatolii Kmetiuk

Process algebras are worth studying, because they greatly simplify event-full programming, where several processes may communicate one with another. A good example is GUI applications, where a work done by the application may be interrupted any time by the user pressing “Cancel” button.

This talk describes an attempt to build a process algebra engine in a functional way, using concepts of category theory and type-level programming.

Watch Speakers speeches at ScalaUA2017

Leave a Reply

Your email address will not be published. Required fields are marked *