Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Procedural languages for database queries and updates
Journal of Computer and System Sciences
The human genome project and informatics
Communications of the ACM
Database transaction models for advanced applications
Database transaction models for advanced applications
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
Introduction to groupware, workflow, and workgroup computing
Introduction to groupware, workflow, and workgroup computing
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for programming database transactions
Logics for databases and information systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
LabFlow-1: A Database Benchmark for High-Throughput Workflow Management
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
A Thesis for Bounded Concurrency
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
From Database Programming to Business Process Programming
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Modular Composition of Transaction Programs with Deductive Databases
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Relational queries computable in polynomial time (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 2001 ACM symposium on Applied computing
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Business Process Coordination: State of the Art, Trends, and Open Issues
Proceedings of the 27th International Conference on Very Large Data Bases
Realizing Network Control Policies Using Distributed Action Plans
Journal of Network and Systems Management
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Integrating databases and workflow systems
ACM SIGMOD Record
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
A declarative approach to composing web services in dynamic environments
Decision Support Systems
Mining unconnected patterns in workflows
Information Systems
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Adaptive workflow scheduling under resource allocation constraints and network dynamics
Proceedings of the VLDB Endowment
A formal framework for reflective database access control policies
Proceedings of the 15th ACM conference on Computer and communications security
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
A declarative approach to composing web services in dynamic environments
Decision Support Systems
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A logic for state-modifying authorization policies
ACM Transactions on Information and System Security (TISSEC)
When does a workflow complete?
Computer Standards & Interfaces
Enhancing a smart space with answer set programming
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Expert Systems with Applications: An International Journal
Using RFID for tracing cumulated resources and emissions in supply chain
International Journal of Ad Hoc and Ubiquitous Computing
A new HTN planning framework for agents in dynamic environments
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |