Hoek, W. van der (Wiebe) and Rijke, Maarten de (1996) Interleaved contractions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-305.pdf - Other - Requires a PDF viewer. Download (331Kb) | Preview

Request Changes to record.

Abstract

We study an approach to concurrent contractions, that is, to simultaneous contractions performed by multiple agents. Using ideas from the semantics of programming we adopt an interleaved approach to reason about concurrent contractions. Although many of the notions from the traditional Gaerdenfors approach transfer to this setting, our approach also forces us to depart from the Gaerdenfors framework in important ways. We present laws describing rational concurrent contractions, as well as a construction that satisfies these laws.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Multiagent systems, Computer multitasking
Series Name:	Department of Computer Science research report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	1996
Dates:	Date Event 1996 Completion
Number:	Number 305
Number of Pages:	20
DOI:	CS-RR-305
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads