1704 search results - page 68 / 341 » Design of a Concurrent and Distributed Language |
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
113
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
ENTCS
2008
14 years 9 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
CONCURRENCY
2000
14 years 9 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...