Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/2987
Title: | Can computational logic provide a paradigm for both the specification and implementation of concurrent systems? |
Authors: | Gilbert, D |
Issue Date: | 1996 |
Publisher: | ACM |
Citation: | Special Issue of ACM Computing Surveys. 28 (2) 303-305 |
URI: | http://bura.brunel.ac.uk/handle/2438/2987 |
ISSN: | 0360-0300 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
10.1.1.46.1098.pdf | 87.65 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.