| 
|
QuoteRef: dereF3_2001
topics >
all references >
ThesaHelp:
references c-d
Topic:
state machine
Topic:
model checker
Topic:
timestamps
Topic:
time
Topic:
resourceful, redundant systems for reliability
Topic:
synchronized processing
Topic:
backup processor
Reference
Derepas, F., Gastin, P., Plainfosse, D., "Avoiding state explosion for distributed systems with timestamps", FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin Germany, March 2001, Springer , Lecture Notes in Computer Science, vol. 2021, March 2001, pp. 119-134. Google
120 ;;Quote: efficient algorithm to convert timestamps into event clocks; reduces state space for model checker of distributed protocols
122 ;;Quote: for fault-tolerance, use swact (switch of activity) between active and passive forms of an application; passive form only keeps track of state of active form; resynchronizes on recovery
ThesaHelp: references c-d (337 items)
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: timestamps (19 items)
Topic: time (48 items)
Topic: resourceful, redundant systems for reliability (35 items)
Topic: synchronized processing (35 items)
Topic: backup processor (3 items)