8 search results - page 1 / 2 » Ready Simulation for Concurrency: It's Logical! |
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
FTCS
1994
13 years 6 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
IDT
2010
13 years 3 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...