Communicating Sequential Prolog

Simple item page
dc.contributor.authorLi, Xiningeng
dc.contributor.authorUnger, Brian Weng
dc.contributor.authorCleary, Johneng
dc.contributor.authorLomow, Gregeng
dc.contributor.authorWest, Darrineng
dc.date.accessioned2008-02-27T22:20:53Z
dc.date.available2008-02-27T22:20:53Z
dc.date.computerscience1999-05-27eng
dc.date.issued1988-01-01eng
dc.description.abstractCommunicating Sequential Prolog (CSP') is a single-solution distributed logic programming language for discrete event simulation. Its primary goal is to speed up the execution of logic programs through the use of parallelism, while as far as possible preserving the semantics of standard Prolog. A CSP' program consists of a set of parallel processes, synchronized by simulation time and by message passing. The underlying interprocess communication mechanism is Time Warp. The pertinent features of parallel logic programming and Time Warp are described. The syntax of CSP' is introduced and the semantics of new predicates and their control structures are discussed. Examples are given to show the expressive power and simplicity of CSP'.eng
dc.identifier.department1988-297-09eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/31077
dc.identifier.urihttp://hdl.handle.net/1880/46077
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleCommunicating Sequential Prologeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1988-297-09.pdf
Size:
891.14 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications