New results on the analysis of concurrent systems with an indefinite number of processes
Publication Date
1994
Journal or Book Title
CONCUR '94: CONCURRENCY THEORY
Pages
65-80
Volume
836
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
Recommended Citation
Girkar, M and Moll, R, "New results on the analysis of concurrent systems with an indefinite number of processes" (1994). CONCUR '94: CONCURRENCY THEORY. 921.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/921
COinS