A proof theory for asynchronously communicating real-time systems.

Ping Zhou Jozef Hooman

Published in: RTSS (1992)

Keyphrases

real time systems
proof theory
default reasoning
real time
proof theoretic
automated reasoning
distributed systems
embedded systems
reasoning problems
dynamic programming
nonmonotonic reasoning
object oriented
low cost
inference rules