<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>6595</REFNUM><AUTHORS><AUTHOR>Gilbert,D.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?</TITLE><PLACE_PUBLISHED>Special Issue of ACM Computing Surveys, Volume 28, Number 2: Symposium on Models of Programming Languages and Computation. C. Hankin and HR Nielson, Eds, </PLACE_PUBLISHED><PUBLISHER>ACM</PUBLISHER><PAGES>303-305 </PAGES><ISBN>0360-0300</ISBN><LABEL>Gilbert:1996:6595</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>