Confluence for process verification

Theoretical Computer Science

Volumn 170, Issue 1-2, 1996, Pages 47-81

  Groote, J F ^a   Sellink, M P A ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR PROGRAMMING; STATE SPACE METHODS;

PROCESS VERIFICATION;

COMPUTATION THEORY;

EID: 0030412306     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00175-2     Document Type: Article

References (20)