The algebra of multirelations. (June 2013)
- Record Type:
- Journal Article
- Title:
- The algebra of multirelations. (June 2013)
- Main Title:
- The algebra of multirelations
- Authors:
- MARTIN, C. E.
CURTIS, S. A. - Abstract:
- <abstract abstract-type="normal"> <title> <x content-type="archive" xml:space="preserve">Abstract</x> </title> <p>Multirelational semantics are well suited to reasoning about programs involving two kinds of non-determinism. This paper lays the categorical foundations for an algebraic calculus of multirelations.</p> </abstract>
- Is Part Of:
- Mathematical structures in computer science. Volume 23:Number 3(2013)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 23:Number 3(2013)
- Issue Display:
- Volume 23, Issue 3 (2013)
- Year:
- 2013
- Volume:
- 23
- Issue:
- 3
- Issue Sort Value:
- 2013-0023-0003-0000
- Page Start:
- 635
- Page End:
- 674
- Publication Date:
- 2013-06
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129512000965 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 3235.xml