H.M.A. van Beek  Home/Search
Context
Related
| win.tue.nl/~harm/artic...CSR0218.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: win.tue.nl/~harm/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a set of operators in order to simplify the modelling of transactional behaviour of processes using process algebra. We give an axiomatic semantics of the operators presented. (Update)
Active bibliography (related documents): More All
0.6: Network-Aided Concurrency Control in Distributed Databases - Srinivasa (2002) (Correct)
0.4: Abstractions for Constructing Dependable Distributed Systems - Mishra, Schlichting (1992) (Correct)
0.3: Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (Correct)
Similar documents based on text: More All
0.3: Automatic Conformance Testing of Internet Applications - van Beek, Mauw (Correct)
0.2: Specifying Internet applications with DiCons - Baeten, van Beek, Mauw (Correct)
0.1: Concurrency Control and Recovery in Transactional Process.. - Schuldt, Alonso, Schek (1999) (Correct)
BibTeX entry: (Update)
@misc{ beek-algebraic,
author = "H.M.A. van Beek",
title = "An Algebraic Approach to Transactional Processes",
url = "citeseer.ist.psu.edu/vanbeek02algebraic.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993 DBLP
323 the notions of consistency and predicate locks in a data bas.. (context) - Eswaran, Gray et al. - 1976
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984 DBLP
148 Principles of transaction-oriented database recovery (context) - Haerder, Reuter - 1983 ACM DBLP
144 The transaction concept: Virtues and limitations (context) - Gray - 1981 ACM
123 A congruence theorem for structured operational semantics wi.. - Baeten, Verhoef - 1993 ACM DBLP
116 Concurrency control in distributed database systems (context) - Bernstein, Goodman - 1981 ACM DBLP
81 A principle for resilient sharing of distributed resources (context) - Alsberg, Day - 1976 ACM DBLP
55 Concrete process algebra (context) - Baeten, Verhoef - 1995 ACM
27 Fixed point semantics (context) - Bergstra, Klop - 1982
16 Distributed database concurrency controls using beforevalues (context) - Stearns, Rosenkrantz - 1981
15 A theoretical foundation of multilevel concurrency control (context) - Weikum - 1986
13 Asynchronous communication (context) - de Boer, Klop et al. - 1992
12 Nested Transactions: An Approach to Reliable Computing (context) - Moss - 1981
12 Process algebra with asynchronous communication mechanisms (context) - Bergstra, Klop et al. - 1985 ACM DBLP
11 Process algebra with backtracking - Bergstra, Ponse et al. - 1994 ACM DBLP
10 ACM Transactions on Database Systems (context) - Salem, Garc et al. - 1994 ACM
6 Correctness of concurrency control and implications for dist.. (context) - Badal - 1979 DBLP
5 Specifying internet applications with DiCons - Baeten, van Beek et al. - 2001 ACM DBLP
4 tyfttyxt format reduce to tree rule - tyft, reduces et al. - 1994
4 Reliability and fault recovery in distributed processing (context) - Shapiro, Millstein - 1977
1 Technische Universiteit Eindhoven (context) - Vereijken, Algebra - 1997
1 a formal language for developing internet applications (context) - Baeten, van Beek et al. - 2001
Documents on the same site (http://www.win.tue.nl/~harm/publications.html): More
An MSC Based Representation of DiCons - Baeten, van Beek, Mauw (2001) (Correct)
Operational semantics of DiCons, a formal language for.. - Baeten, van Beek, Mauw (2001) (Correct)
Specifying Internet applications with DiCons - Baeten, van Beek, Mauw (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC