<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-02-26 07:24:06Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-02-26 07:24:06Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi |
Add to Reading List |
hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York