Compact Petri net representation for concurrent programs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1995, Pages 147-157

  Dwyer, Matthew B ^a   Clarke, Lori A ^a   Nies, Kari A ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; ENCODING (SYMBOLS); PETRI NETS; SOFTWARE ENGINEERING; STATE SPACE METHODS;

COMPACT PETRI NET REPRESENTATION; CONCURRENT PROGRAMS; STATE SPACE ENUMERATION TECHNIQUES;

COMPUTER SOFTWARE;

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

References (22)