Brunel University Research Archive (BURA) >
College of Engineering, Design and Physical Sciences >
Dept of Computer Science >
Dept of Computer Science Research Papers >

Please use this identifier to cite or link to this item:

Title: Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?
Authors: Gilbert, D
Publication Date: 1996
Publisher: ACM
Citation: Special Issue of ACM Computing Surveys. 28 (2) 303-305
ISSN: 0360-0300
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.