ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Executable formal models of distributed transaction systems based on event processing
 
Purchase a copyPurchase a copy
Source
Year of Publication: 1996
Order Number:UMI Order No. GAX96-20500
Author
John Jerome Kenney  Stanford Univ.
Publisher
Stanford University  Stanford, CA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 3
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Doctoral Thesis  

CITED BY  3
David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995
Roel Wuyts , Stéphane Ducasse , Oscar Nierstrasz, A data-centric approach to composing embedded, real-time software components, Journal of Systems and Software, v.74 n.1, p.25-34, January 2005
M. Bayart, Smart devices for manufacturing equipment, Robotica, v.21 n.3, p.325-333, June 2003

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Distributed databases

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing


General Terms:
Design, Performance


Keywords:
rapide, software architectures

Collaborative Colleagues:
John Jerome Kenney: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player