David I. Spivak | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alberto Speranzon
1 publication
Fabrizio Genovese
1 publication
Srivatsan Varadarajan
1 publication

research

∙ 01/29/2020

A Categorical Semantics for Guarded Petri Nets

We build on the correspondence between Petri nets and frees ymmetric str...

0 Fabrizio Genovese, et al. ∙

research

∙ 02/08/2018

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach

Complex systems of systems (SoS) are characterized by multiple interconn...

0 Alberto Speranzon, et al. ∙

Success!

An error occurred