Elaine Li | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Thomas Wies
13 publications
Karl Palmskog
9 publications
Damien Zufferey
6 publications
Felix Stutz
5 publications
Grigore Rosu
4 publications
Mircea Sebe
1 publication

research

∙ 05/26/2023

Complete Multiparty Session Type Projection with Automata

Multiparty session types (MSTs) are a type-based approach to verifying c...

0 Elaine Li, et al. ∙

research

∙ 10/05/2020

Specification of the Giskard Consensus Protocol

The Giskard consensus protocol is used to validate transactions and comp...

0 Elaine Li, et al. ∙

Success!

An error occurred