Filters: Collection: "ir_uspace" Subject: "CCS"
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | Asynchronous circuit verification using trace theory and CCS | We investigate asynchronous circuit verification using Dill's trace theory as well as Milner's CCS (as mechanized by the Concurrency Workbench). Trace theory is a formalism specifically designed for asynchronous circuit specification and verification. CCS is a general purpose calculus of communicat... | Trace theory; Verification; CCS | 1992 |
| 2 |
 |
Subrahmanyam, P.A. | Modeling of call - by - need and stream primitives using CCS | The semantics of an applicative language are presented using the algebraic primitives introduced in CCS. In particular, the language constructs modeled allow for nondeterminism, stream processing and demand driven (call by need) evaluation. | Applicative language; Semantics; Algebraic primitives; CCS | 1982 |
1 - 25 of 2