First Page | Document Content | |
---|---|---|
![]() Date: 2000-09-12 07:39:17Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science | Add to Reading List |