> SemWeb.Pro 2020 > Applied Category Theory for Industry > Statebox - Formally verified process language

search

actions - talk

state: accepted
- view history

Talk Statebox - Formally verified process language

Presented by admin in Applied Category Theory for Industry

Abstract

by Jelle Herold - Founder of Statebox

Recording at https://peertube.semweb.pro/videos/watch/bfe4eebf-677d-400f-808f-f1cdbbd6f360?playlistPosition=4

tagged by

no related entity

Talk #14590818 - latest update on 2021/03/24, created on 2021/03/24 by admin

Sponsors

If you are interested in sponsoring or partnering please contact us