Theoretical Computer Science
Gian's user avatar
Gian's user avatar
Gian's user avatar
Gian
  • Member for 13 years, 1 month
  • Last seen more than 5 years ago
Profile Activity
Stats
288
reputation
904
reached
1
answer
1
question
Communities
View all
About

PhD student in the Programming, Logic, and Semantics group at the IT University of Copenhagen.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
9
Score
2
Posts
100
Posts %
9
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
9
What are the historical roots of Milner's bigraphs?
Aug 17, 2010
question
8
Process modeling with fine-grained notions of location
Aug 16, 2010
Top network posts
View all network posts
81
Processes, threads, green threads, protothreads, fibers, coroutines: what's the difference?
75
Why does VIM have its own regex syntax?
28
What's the meaning of the operator || in linux shell?
28
What is the significance of 1/1/1753 in SQL Server?
26
How does the internal implementation of memcpy work?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.