| Communicating Sequential Processes |
Shopping Sequential |
Shopping Processes |
Website Links For Communicating |
Information AboutCommunicating Sequential Processes |
| CATEGORIES ABOUT COMMUNICATING SEQUENTIAL PROCESSES | |
| process calculi | |
| ||||||||||||||||||||||
| first | G |
|||||||||||||||||||||
| title | Model checking in practice: The T9000 Virtual Channel Processor |
|||||||||||||||||||||
| journal | IEEE Transactions on Software Engineering |
|||||||||||||||||||||
| volume | 21 |
|||||||||||||||||||||
| issue | 2 |
|||||||||||||||||||||
| pages | 69&ndash78 |
|||||||||||||||||||||
| year | 1995 |
|
|