Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/2297
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | SPIELMANN, Marc | - |
dc.date.accessioned | 2007-11-13T15:17:43Z | - |
dc.date.available | 2007-11-13T15:17:43Z | - |
dc.date.issued | 2003 | - |
dc.identifier.citation | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 66(1). p. 40-65 | - |
dc.identifier.issn | 0022-0000 | - |
dc.identifier.uri | http://hdl.handle.net/1942/2297 | - |
dc.description.abstract | Motivated by recent work of Abiteboul, Vianu, Fordham, and Yesha, we investigate the verifiability of transaction protocols specifying the interaction of multiple parties via a network. The protocols which we are concerned with typically occur in the context of electronic commerce applications and can be formalized as relational transducers. We introduce a class of powerful relational transducers based on Gurevich's abstract state machines and show that several verification problems related to electronic commerce applications are decidable for these transducers. (C) 2003 Published by Elsevier Science (USA). | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.title | Verification of relational transducers for electronic commerce | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 65 | - |
dc.identifier.issue | 1 | - |
dc.identifier.spage | 40 | - |
dc.identifier.volume | 66 | - |
local.format.pages | 26 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Univ Limburg, Dept WNI, B-3590 Diepenbeek, Belgium.Spielmann, M, Univ Limburg, Dept WNI, Univ Campus, B-3590 Diepenbeek, Belgium. | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1016/S0022-0000(02)00029-6 | - |
dc.identifier.isi | 000182304200004 | - |
item.contributor | SPIELMANN, Marc | - |
item.accessRights | Closed Access | - |
item.fullcitation | SPIELMANN, Marc (2003) Verification of relational transducers for electronic commerce. In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 66(1). p. 40-65. | - |
item.fulltext | No Fulltext | - |
item.validation | ecoom 2004 | - |
crisitem.journal.issn | 0022-0000 | - |
crisitem.journal.eissn | 1090-2724 | - |
Appears in Collections: | Research publications |
SCOPUSTM
Citations
44
checked on Sep 3, 2020
WEB OF SCIENCETM
Citations
26
checked on Apr 22, 2024
Page view(s)
456
checked on Jul 31, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.