Violet Ka I Pun | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Einar Broch Johnsen
13 publications
Ludovic Henrio
10 publications
Reiner Hähnle
5 publications
Frank S. de Boer
5 publications
Silvia Lizeth Tapia Tarifa
3 publications
Crystal Chang Din
1 publication

research

∙ 01/25/2023

Proving Correctness of Parallel Implementations of Transition System Specifications

The overall problem addressed in this paper is the long-standing problem...

0 Frank S. de Boer, et al. ∙

research

∙ 02/24/2022

LAGC Semantics of Concurrent Programming Languages

Formal, mathematically rigorous programming language semantics are the e...

0 Crystal Chang Din, et al. ∙

Success!

An error occurred