Profile

Cover photo
Thanh Dinh TA
Lives in LAXOU
5,170 views
AboutPostsPhotosVideos

Stream

Thanh Dinh TA

Shared publicly  - 
 
Types, Semantics and Verification
1
Add a comment...

Thanh Dinh TA

Shared publicly  - 
1
Add a comment...

Thanh Dinh TA

Shared publicly  - 
 
Il est très élégant
 ·  Translate
1
Add a comment...

Thanh Dinh TA

Shared publicly  - 
 
Some paper need to review:
Domain Theory for Concurrency
Events, Causality and Symmetry
The Topological Structure of Asynchronous Computability
Name Generation and Linearity
1
Thanh Dinh TA's profile photo
 
more:
Transition systems, link graphs and Petri nets
Add a comment...
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
LAXOU
Links
Basic Information
Gender
Male