4604 search results - page 119 / 921 » Concurrency in Synchronous Systems |
105
click to vote
ENTCS
2008
15 years 3 months ago
2008
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and...
125
click to vote
FASE
1999
Springer
15 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
129
Voted
MASCOTS
2010
15 years 2 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
143
Voted
CONCUR
2009
Springer
15 years 1 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...