Skip to main content
Book

In Search of Elegance in the Theory and Practice of Computation

  • Tannen V
  • Wong L
  • Libkin L
  • et al.
N/ACitations
Citations of this article
10Readers
Mendeley users who have this article in their library.

Abstract

We present two models for data-centric workflows: the first based on business artifacts and the second on Active XML. We then compare the two models and argue that Active XML is strictly more expressive, based on a natu- ral semantics and choice of observables. Finally, we mention several verification results for the two models.

Cite

CITATION STYLE

APA

Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.-C. T., & Fourman, M. (2013). In Search of Elegance in the Theory and Practice of Computation. (V. Tannen, L. Wong, L. Libkin, W. Fan, W.-C. Tan, & M. Fourman, Eds.) (Vol. 8000). Springer Berlin Heidelberg. Retrieved from http://link.springer.com/10.1007/978-3-642-41660-6

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free