22 search results - page 5 / 5 » Weak Sequential Composition in Process Algebras |
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...