Reasoning about nondeterministic and concurrent actions: a process algebra approach

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 658-663

  De Giacomo, Giuseppe ^a   Chen, Xiao Jun ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DIFFERENTIATION (CALCULUS); FORMAL LOGIC; GRAPH THEORY; MATHEMATICAL MODELS; MODAL ANALYSIS;

CONCURRENT ACTIONS; GLOBAL STORE; MODEL CHECKING; NONDETERMINISTIC ACTIONS; PROCESS ALGEBRA; REASONING; VALIDITY CHECKING;

KNOWLEDGE REPRESENTATION;

EID: 0030365652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)