Verification of relational transducers for electronic commerce
type: Item
instance of: scholarly article
title: Verification of relational transducers for electronic commerce
zbMATH Open document ID: 1026.68007
DOI: 10.1016/S0022-0000(02)00029-6
author: Marc Spielmann
published in: Journal of Computer and System Sciences
publication date: 2003-06-25T00:00:00Z
Mathematics Subject Classification ID: 68M12
zbMATH DE Number: 1934651
zbMATH Keywords: transaction protocols
MaRDI profile type: Publication
cites work: Temporal connectives versus explicit timestamps to query temporal databases
cites work: Q4864249
cites work: Relational transducers for electronic commerce
cites work: Q4390866
cites work: Q4850061
cites work: Q4385542
cites work: Evolving Algebras 1993: Lipari Guide
cites work: Q3221403
cites work: Semantics and expressiveness issues in active databases
cites work: An existential fragment of second order logic
cites work: The complexity of propositional linear temporal logics
cites work: Q4818811
cites work: Q2753716
full work available at URL: s0022-0000(02)00029-6
OpenAlex ID: W2633545396
description: scientific article; zbMATH DE number 1934651