906 search results - page 9 / 182 » Linking Theories of Concurrency |
197
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
156
click to vote
OPODIS
2004
15 years 7 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
151
click to vote
SEFM
2007
IEEE
16 years 9 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
157
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments. A global history is quasi se...
169
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...