pathterminuspages/projects/aboutcontactabout me

Introduction

22.08.2020

Contents/Index

@Introduction
Adjoint Between Transition Systems and Hoare Languages
Adjoint Between Transition Systems and Synchronization Trees

In this project we analyse the relationship between Hoare Languages, Labelled Transition Systems and Synchronization Trees seen from a Category Theoretical perspective. We are especially interested in the adjoint that arises from defining functors that translates between these structures.

CommentsGuest Name:Comment: