Verification of relational transducers for electronic commerce

DOI10.1016/S0022-0000(02)00029-6zbMath1026.68007OpenAlexW2633545396MaRDI QIDQ1394796

Marc Spielmann

Publication date: 25 June 2003

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(02)00029-6

zbMATH Keywords

transaction protocols

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (6)

Deciding confluence for a simple class of relational transducer networks ⋮ Process-centric views of data-driven business artifacts ⋮ Specification and verification of data-driven Web applications ⋮ On the aggregation problem for synthesized web services ⋮ On the verification of security-aware E-services ⋮ Reliability-aware automatic composition approach for web services

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics and expressiveness issues in active databases
• Temporal connectives versus explicit timestamps to query temporal databases
• An existential fragment of second order logic
• Relational transducers for electronic commerce
• The complexity of propositional linear temporal logics
• Evolving Algebras 1993: Lipari Guide

This page was built for publication: Verification of relational transducers for electronic commerce