Pub Date: September 12, 1990
Dewey: 511.3
LCCN: 90010275
Lexile Code: 0000
Features: Bibliography, Illustrated, Index
Target Age Group: NA to NA
Physical Info: 0.39" H x 9.21" L x 6.14" W ( 0.59 lbs) 174 pages
BISAC Categories:
Mathematics | Logic | Computers | Programming | Compilers | Languages | General | Logic Design | Discrete Mathematics | Combinatorics | Computer Science
Description: This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume contains various new results published nowhere else.