The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Handbook of theoretical computer science (vol. B)
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Evolving algebras 1993: Lipari guide
Specification and validation methods
Semantics and expressiveness issues in active databases
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Temportal connectives versus explicit timestamps to query temporal databases
Journal of Computer and System Sciences
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Electronic Commerce: An Overview
Proceedings of the Workshop at NIST on Electronic Commerce, Current Research Issues and Applications
Model Checking and Transitive-Closure Logic
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Evolving databases: an application to electronic commerce
IDEAS '97 Proceedings of the 1997 International Symposium on Database Engineering & Applications
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Tools for composite web services: a short overview
ACM SIGMOD Record
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational transducers for declarative networking
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Deciding eventual consistency for a simple class of relational transducer networks
Proceedings of the 15th International Conference on Database Theory
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Relational transducers for declarative networking
Journal of the ACM (JACM)
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
| Hi-index | 0.00 |
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.