Process

correct by construction process modelling platform. design, refine, deploy. collaboratively. powered by @statebox

[Statebox @statebox]

We are excited to announce that the paper Categories of Nets, authored by our very own @fabgenovese in collaboration with @johncarlosbaez , @JadeMasterMath and Mike Shulman has been accepted to LICS 2021.

Find out more on https://t.co/FJYUAPfwVQ

[Statebox @statebox]

Have you read our latest paper on hierarchical petri nets yet? https://t.co/XDpV8cxYm4

[SolidGoldMagikarp @wires_wires]

Our latest paper is on arxiv now https://t.co/2mDMXOG3cV

Sharing for the diagram porn.

@statebox @processdisco @fabgenovese

[SolidGoldMagikarp @wires_wires]

I'm sketching out something I'm calling Well Typed Foundations https://t.co/0QJcOEcd5f

A language like JSON but w types and references.

I am using @rescriptlang together with @pegjs to implement a simple bidirectional typechecker.

All @processdisco data is stored like this

[Statebox @statebox]

meanwhile on @newsycombinator ...

#petrinets #categorytheory

https://t.co/AOXG6h4wEw

[SolidGoldMagikarp @wires_wires]

Hype.

#statebox #diagrams #categorytheory #cybernetics #formalmethods #correctbyconstruction #compositional

Follow @statebox @processdisco
See https://t.co/W7lJl9Z2YN | https://t.co/D3HFLsoFmJ | https://t.co/A2vZRCNv9k