Fail-Safety Techniques and their Extensions to Concurrent Systems.

Published in: Comput. Lang. (1996)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
formal specification
model checking
transition systems
petri net
databases
data flow
artificial intelligence
open source
key features
efficient implementation
default theories
safety analysis