A Branching Time Semantics for the Ada Rendezvous Mechanism.

Boumediene Belkhouche R. Raymond Lang Chung Wa Ng

Published in: HICSS (1) (1996)

Keyphrases

epistemic logic
semantic information
model checking
formal semantics
logic programming
transformation rules
information retrieval
clustering algorithm
case study
temporal logic
selection mechanism
reasoning mechanism
logical language