Verifying infinite state processes with sequential and parallel composition

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1995, Pages 95-106

  Bouajjani, Ahmed ^a   Echahed, Rachid ^a   Habermehl, Peter ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; NUMERICAL METHODS; PARALLEL PROCESSING SYSTEMS;

INFINITE STATE PROCESSES; PARALLEL COMPOSITION; PRESBURGER ARITHMETICS; SEQUENTIAL COMPOSITION; VERIFICATION METHODS;

ALGEBRA;

EID: 0029180797     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/199448.199470     Document Type: Conference Paper

References (35)