1154 search results - page 1 / 231 » Mathematizing C concurrency |
POPL
2011
ACM
14 years 1 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
76
Voted
CONCURRENCY
2006
14 years 11 months ago
2006
62
Voted
CONCURRENCY
2002
14 years 10 months ago
2002
81
Voted
CONCURRENCY
2010
14 years 7 months ago
2010
85
Voted
FM
2001
Springer
15 years 3 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...