Koutavas, Vasileios; Gazda, Maciej; Hennessy, Matthew Distinguishing between communicating transactions. (English) Zbl 1388.68198 Inf. Comput. 259, Part 1, 1-30 (2018). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{V. Koutavas} et al., Inf. Comput. 259, Part 1, 1--30 (2018; Zbl 1388.68198) Full Text: DOI arXiv OpenURL
Cerone, Andrea; Bernardi, Giovanni; Gotsman, Alexey A framework for transactional consistency models with atomic visibility. (English) Zbl 1374.68064 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 58-71 (2015). MSC: 68M14 68P15 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Cerone} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 58--71 (2015; Zbl 1374.68064) Full Text: DOI OpenURL
Moschoyiannis, Sotiris; Krause, Paul J. True concurrency in long-running transactions for digital ecosystems. (English) Zbl 1334.68154 Fundam. Inform. 138, No. 4, 483-514 (2015). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Moschoyiannis} and \textit{P. J. Krause}, Fundam. Inform. 138, No. 4, 483--514 (2015; Zbl 1334.68154) Full Text: DOI OpenURL
Vaz, Cátia; Ferreira, Carla On the analysis of compensation correctness. (English) Zbl 1246.68100 J. Log. Algebr. Program. 81, No. 5, 585-605 (2012). MSC: 68N30 68Q85 68Q60 PDF BibTeX XML Cite \textit{C. Vaz} and \textit{C. Ferreira}, J. Log. Algebr. Program. 81, No. 5, 585--605 (2012; Zbl 1246.68100) Full Text: DOI OpenURL
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012). MSC: 68Q55 68P15 68Q42 68Q85 PDF BibTeX XML Cite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 7137, 42--60 (2012; Zbl 1312.68126) Full Text: DOI OpenURL
Bocchino, Robert L.; Heumann, Stephen; Honarmand, Nima; Adve, Sarita V.; Adve, Vikram S.; Welc, Adam; Shpeisman, Tatiana Safe nondeterminism in a deterministic-by-default parallel language. (English) Zbl 1284.68166 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 535-548 (2011). MSC: 68N30 68N15 68Q85 68M20 68W10 PDF BibTeX XML Cite \textit{R. L. Bocchino} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 535--548 (2011; Zbl 1284.68166) Full Text: DOI OpenURL
Koskinen, Eric; Parkinson, Matthew; Herlihy, Maurice Coarse-grained transactions. (English) Zbl 1312.68143 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 19-30 (2010). MSC: 68Q65 68N19 68Q55 PDF BibTeX XML Cite \textit{E. Koskinen} et al., in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '10, Madrid, Spain, January 17--23, 2010. New York, NY: Association for Computing Machinery (ACM). 19--30 (2010; Zbl 1312.68143) Full Text: DOI OpenURL
Usui, Takayuki; Behrends, Reimer; Evans, Jacob; Smaragdakis, Yannis Adaptive locks: combining transactions and locks for efficient concurrency. (English) Zbl 1233.68172 J. Parallel Distrib. Comput. 70, No. 10, 1009-1023 (2010). MSC: 68Q85 68M07 PDF BibTeX XML Cite \textit{T. Usui} et al., J. Parallel Distrib. Comput. 70, No. 10, 1009--1023 (2010; Zbl 1233.68172) Full Text: DOI Link OpenURL
Ziarek, Lukasz; Sivaramakrishnan, K. C.; Jagannathan, Suresh Partial memoization of concurrency and communication. (English) Zbl 1302.68076 Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 161-172 (2009). MSC: 68N18 68N19 PDF BibTeX XML Cite \textit{L. Ziarek} et al., in: Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP '09, Edinburgh, UK, August 31 -- September 2, 2009. New York, NY: Association for Computing Machinery (ACM). 161--172 (2009; Zbl 1302.68076) Full Text: DOI OpenURL
Daniluk, Andrzej Multithreaded transactions in scientific computing. The GROWTH06_v2 program. (English) Zbl 1198.81014 Comput. Phys. Commun. 180, No. 7, 1219-1220 (2009). MSC: 81-04 68W10 PDF BibTeX XML Cite \textit{A. Daniluk}, Comput. Phys. Commun. 180, No. 7, 1219--1220 (2009; Zbl 1198.81014) Full Text: DOI OpenURL
Busi, Nadia; Zavattaro, Gianluigi A process algebraic view of shared dataspace coordination. (English) Zbl 1135.68043 J. Log. Algebr. Program. 75, No. 1, 52-85 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{N. Busi} and \textit{G. Zavattaro}, J. Log. Algebr. Program. 75, No. 1, 52--85 (2008; Zbl 1135.68043) Full Text: DOI OpenURL
Ciocchetta, Federica; Priami, Corrado Biological transactions for quantitative models. (English) Zbl 1277.68173 Busi, Nadia (ed.) et al., Proceedings of the first workshop on membrane computing and biologically inspired process calculi (MeCBIC 2006), S. Servolo, Venice, Italy, July 9, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 2, 55-67 (2007). MSC: 68Q85 68Q55 92C42 PDF BibTeX XML Cite \textit{F. Ciocchetta} and \textit{C. Priami}, Electron. Notes Theor. Comput. Sci. 171, No. 2, 55--67 (2007; Zbl 1277.68173) Full Text: DOI OpenURL
Donnelly, Kevin; Fluet, Matthew Transactional events. (English) Zbl 1321.68149 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 124-135 (2006). MSC: 68N18 68N19 PDF BibTeX XML Cite \textit{K. Donnelly} and \textit{M. Fluet}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 124--135 (2006; Zbl 1321.68149) Full Text: DOI OpenURL
Attiya, Hagit; Epstein, Leah; Shachnai, Hadas; Tamir, Tami Transactional contention management as a non-clairvoyant scheduling problem. (English) Zbl 1314.68082 Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 308-315 (2006). MSC: 68M20 68M14 68N19 68Q25 68W05 68W15 PDF BibTeX XML Cite \textit{H. Attiya} et al., in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 308--315 (2006; Zbl 1314.68082) Full Text: DOI OpenURL
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio Graph transactions as processes. (English) Zbl 1156.68416 Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 199-214 (2006). MSC: 68Q42 68Q85 18A40 PDF BibTeX XML Cite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4178, 199--214 (2006; Zbl 1156.68416) Full Text: DOI OpenURL
Hadaegh, A. R.; Barker, K. Reconciling instead of aborting unsuccessful transactions in multiversion objectbases. (English) Zbl 1125.68342 Iran. J. Sci. Technol., Trans. B, Eng. 30, No. 2, 181-198 (2006). MSC: 68N19 PDF BibTeX XML Cite \textit{A. R. Hadaegh} and \textit{K. Barker}, Iran. J. Sci. Technol., Trans. B, Eng. 30, No. 2, 181--198 (2006; Zbl 1125.68342) OpenURL
Cachopo, João; Rito-Silva, António Versioned boxes as the basis for memory transactions. (English) Zbl 1119.68046 Sci. Comput. Program. 63, No. 2, 172-185 (2006). MSC: 68N19 PDF BibTeX XML Cite \textit{J. Cachopo} and \textit{A. Rito-Silva}, Sci. Comput. Program. 63, No. 2, 172--185 (2006; Zbl 1119.68046) Full Text: DOI Link OpenURL
Eugster, Patrick; Vaucouleur, Sebastien Composing atomic features. (English) Zbl 1119.68047 Sci. Comput. Program. 63, No. 2, 130-146 (2006). MSC: 68N19 PDF BibTeX XML Cite \textit{P. Eugster} and \textit{S. Vaucouleur}, Sci. Comput. Program. 63, No. 2, 130--146 (2006; Zbl 1119.68047) Full Text: DOI OpenURL
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Theoretical foundations for compensations in flow composition languages. (English) Zbl 1369.68070 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 209-220 (2005). MSC: 68N15 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. Bruni} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 209--220 (2005; Zbl 1369.68070) Full Text: DOI OpenURL
Guerraoui, Rachid; Herlihy, Maurice; Pochon, Bastian Toward a theory of transactional contention managers. (English) Zbl 1314.68088 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 258-264 (2005). MSC: 68M20 68M14 68N19 68Q10 68W05 68W15 PDF BibTeX XML Cite \textit{R. Guerraoui} et al., in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 258--264 (2005; Zbl 1314.68088) Full Text: DOI Link OpenURL
Ringenburg, Michael F.; Grossman, Dan AtomCaml: first-class atomicity via rollback. (English) Zbl 1302.68052 Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 92-104 (2005). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{M. F. Ringenburg} and \textit{D. Grossman}, in: Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP '05, Tallinn, Estonia, September 26--28, 2005. New York, NY: Association for Computing Machinery (ACM). 92--104 (2005; Zbl 1302.68052) Full Text: DOI OpenURL
Jagannathan, Suresh; Vitek, Jan; Welc, Adam; Hosking, Antony A transactional object calculus. (English) Zbl 1076.68021 Sci. Comput. Program. 57, No. 2, 164-186 (2005). MSC: 68N19 PDF BibTeX XML Cite \textit{S. Jagannathan} et al., Sci. Comput. Program. 57, No. 2, 164--186 (2005; Zbl 1076.68021) Full Text: DOI OpenURL
Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob Summarizing procedures in concurrent programs. (English) Zbl 1325.68156 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 245-255 (2004). MSC: 68Q60 68N30 68Q85 PDF BibTeX XML Cite \textit{S. Qadeer} et al., in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '04, Venice, Italy, January 14--16, 2004. New York, NY: Association for Computing Machinery (ACM). 245--255 (2004; Zbl 1325.68156) Full Text: DOI OpenURL
Andreoli, Jean-Marc; Mazaré, Laurent Concurrent construction of proof-nets. (English) Zbl 1116.03311 Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 29-42 (2003). MSC: 03B70 03F52 68N30 68Q85 PDF BibTeX XML Cite \textit{J.-M. Andreoli} and \textit{L. Mazaré}, Lect. Notes Comput. Sci. 2803, 29--42 (2003; Zbl 1116.03311) Full Text: DOI OpenURL
Kienzle, Jörg Open multithreaded transactions. A transaction model for concurrent object-oriented programming. (English) Zbl 1069.68035 Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1727-8/hbk). xxv, 279 p. (2003). Reviewer: Jan Friso Groote (Nederwetten) MSC: 68N19 68M14 68-01 PDF BibTeX XML Cite \textit{J. Kienzle}, Open multithreaded transactions. A transaction model for concurrent object-oriented programming. Dordrecht: Kluwer Academic Publishers (2003; Zbl 1069.68035) OpenURL
Silaghi, Raul; Strohmeier, Alfred Critical evaluation of the EJB transaction model. (English) Zbl 1025.68656 Guelfi, Nicolas (ed.) et al., Scientific engineering for distributed Java applications. International workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2604, 15-28 (2003). MSC: 68U99 68N19 PDF BibTeX XML Cite \textit{R. Silaghi} and \textit{A. Strohmeier}, Lect. Notes Comput. Sci. 2604, 15--28 (2003; Zbl 1025.68656) Full Text: Link OpenURL
Kienzle, Jörg; Guerraoui, Rachid AOP: Does it make sense? The case of concurrency and failures. (English) Zbl 1049.68800 Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 37-61 (2002). MSC: 68U99 68N19 PDF BibTeX XML Cite \textit{J. Kienzle} and \textit{R. Guerraoui}, Lect. Notes Comput. Sci. 2374, 37--61 (2002; Zbl 1049.68800) Full Text: Link OpenURL
Corchuelo, Rafael; Ruiz, Antonio; Mühlbacher, Jörg R.; García-Consuegra, Jesús D. Object-oriented business solutions. (English) Zbl 1048.68722 Frohner, Ákos (ed.), Object-oriented technology. ECOOP 2001 workshop reader. Panel and posters, Budapest, Hungary, June 18–22, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43675-8). Lect. Notes Comput. Sci. 2323, 184-200 (2002). MSC: 68U99 68N19 68M10 PDF BibTeX XML Cite \textit{R. Corchuelo} et al., Lect. Notes Comput. Sci. 2323, 184--200 (2002; Zbl 1048.68722) Full Text: Link OpenURL
Felber, Pascal; Reiter, Michael K. Advanced concurrency control in Java. (English) Zbl 1008.68525 Concurrency Comput. Pract. Exp. 14, No. 4, 261-285 (2002). MSC: 68U99 68M10 68N19 68N15 PDF BibTeX XML Cite \textit{P. Felber} and \textit{M. K. Reiter}, Concurrency Comput. Pract. Exp. 14, No. 4, 261--285 (2002; Zbl 1008.68525) Full Text: DOI OpenURL
Tu, Jih-Fu; Wang, Lung-Hsiung Using Petri nets for modeling branch control of pipelined processors. (English) Zbl 1033.68077 Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11–12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 653-663 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{J.-F. Tu} and \textit{L.-H. Wang}, in: Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11--12, 2001. Heidelberg: Physica-Verlag. 653--663 (2002; Zbl 1033.68077) OpenURL
Brayner, A.; Härder, T.; Ritter, N. Semantic serializability: A correctness criterion for processing transactions in advanced database applications. (English) Zbl 1047.68564 Data Knowl. Eng. 31, No. 1, 1-24 (1999). MSC: 68P15 PDF BibTeX XML Cite \textit{A. Brayner} et al., Data Knowl. Eng. 31, No. 1, 1--24 (1999; Zbl 1047.68564) Full Text: DOI OpenURL
Kumar, Vijay; Hsu, Meichun A superior two-phase locking algorithm amd its performance. (English) Zbl 0714.68023 Inf. Sci. 54, No. 1-2, 147-168 (1991). MSC: 68P15 PDF BibTeX XML Cite \textit{V. Kumar} and \textit{M. Hsu}, Inf. Sci. 54, No. 1--2, 147--168 (1991; Zbl 0714.68023) Full Text: DOI OpenURL
Flé, Marie-Paule Serialization of concurrent programs. (English) Zbl 0678.68109 J. Comput. Syst. Sci. 38, No. 3, 474-493 (1989). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{M.-P. Flé}, J. Comput. Syst. Sci. 38, No. 3, 474--493 (1989; Zbl 0678.68109) Full Text: DOI OpenURL
Lafortune, Stéphane On transaction execution in database systems. (English) Zbl 0668.68022 Analysis and control of nonlinear systems, Sel. Pap. 8th Int. Symp. Math. Networks Syst., Phoenix/Ariz. 1987, 331-336 (1988). MSC: 68N25 68P20 93C55 68M20 PDF BibTeX XML OpenURL
Arques, D.; Françon, J.; Guichet, M. T.; Guichet, P. Comparison of algorithms controlling concurrent access to a database: a combinatorial approach. (English) Zbl 0596.68065 Automata, languages and programming, Proc. 13th Int. Colloq., Rennes/France 1986, Lect. Notes Comput. Sci. 226, 11-20 (1986). MSC: 68P20 68N25 PDF BibTeX XML OpenURL
Brzozowski, J. A.; Muro, S. On serializability. (English) Zbl 0602.68092 Int. J. Comput. Inform. Sci. 14, No. 6, 387-403 (1985). MSC: 68P20 PDF BibTeX XML Cite \textit{J. A. Brzozowski} and \textit{S. Muro}, Int. J. Comput. Inform. Sci. 14, 387--403 (1985; Zbl 0602.68092) Full Text: DOI OpenURL
Flé, M. P.; Roucairol, G. A language theoretic approach to serialization problem in concurrent systems. (English) Zbl 0575.68052 Fundamentals of computation theory, Proc. 5th Int. Conf., Cottbus/Ger. 1985, Lect. Notes Comput. Sci. 199, 128-145 (1985). MSC: 68Q05 68Q85 68Q45 68N25 PDF BibTeX XML OpenURL
Flé, M. P.; Roucairol, G. Maximal serializability of iterated transactions. (English) Zbl 0572.68082 Theor. Comput. Sci. 38, 1-16 (1985). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{M. P. Flé} and \textit{G. Roucairol}, Theor. Comput. Sci. 38, 1--16 (1985; Zbl 0572.68082) Full Text: DOI OpenURL
Flé, M. P.; Roucairol, G. Fair serializability of iterated transactions using FIFO-nets. (English) Zbl 0562.68018 Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 154-168 (1985). MSC: 68N25 68P20 68Q85 PDF BibTeX XML OpenURL
Rosenkrantz, D. J.; Stearns, R. E.; Lewis, P. M. II Consistency and serializability in concurrent database systems. (English) Zbl 0545.68092 SIAM J. Comput. 13, 508-530 (1984). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{D. J. Rosenkrantz} et al., SIAM J. Comput. 13, 508--530 (1984; Zbl 0545.68092) Full Text: DOI Link OpenURL
Papadimitriou, Christos H. The serializability of concurrent database updates. (English) Zbl 0419.68036 J. Assoc. Comput. Mach. 26, 631-653 (1979). MSC: 68P05 68N25 68M20 68Q25 PDF BibTeX XML Cite \textit{C. H. Papadimitriou}, J. Assoc. Comput. Mach. 26, 631--653 (1979; Zbl 0419.68036) Full Text: DOI Link OpenURL