First Page | Document Content | |
---|---|---|
![]() Date: 2007-09-04 04:02:48Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software | Add to Reading List |