|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Pattern-Matching Spi-Calculus |
| Author(s): | Haack, Christian (298971607)
Jeffrey, Alan |
| Publication year: | 2006 |
| Document type: | Article / Letter to editor |
| Journal: | Information and Computation |
| ISSN: | 0890-5401 |
| Volume: | vol. 204 |
| Issue: | iss. 8 |
| Start page: | p. 1195 |
| End page: | p. 1263 |
| Publisher: | Elsevier |
| Subject: | Security of Systems |
| Organization: | Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/35557
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
