|
|||||
|
|
The Carcinogenic Example |
|
| Authors: | Mitchell William P. R. |
| Affiliation: | Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom. E-mail: bill{at}cs.man.ac.uk |
| Abstract: | |
| Keywords: | linear logic quantales resource allocation Kripke model |
| 本文献已被 Oxford 等数据库收录！ | |