Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin Robustness against transactional causal consistency. (English) Zbl 07327945 Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{S. M. Beillahi} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021; Zbl 07327945) Full Text: Link arXiv
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 07265466 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 07265466) Full Text: DOI
Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo; Viroli, Mirko Field-based coordination with the share operator. (English) Zbl 07269248 Log. Methods Comput. Sci. 16, No. 4, Paper No. 1, 41 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{G. Audrito} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 1, 41 p. (2020; Zbl 07269248) Full Text: Link arXiv
Tekken Valapil, Vidhya; Kulkarni, Sandeep S. Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. (English) Zbl 07261987 Distrib. Comput. 33, No. 5, 423-443 (2020). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{V. Tekken Valapil} and \textit{S. S. Kulkarni}, Distrib. Comput. 33, No. 5, 423--443 (2020; Zbl 07261987) Full Text: DOI
Jezequel, Loïg; Madalinski, Agnes; Schwoon, Stefan Distributed computation of vector clocks in Petri net unfoldings for test selection. (English) Zbl 1448.93183 Discrete Event Dyn. Syst. 30, No. 3, 441-464 (2020). MSC: 93C55 68W15 93-10 PDF BibTeX XML Cite \textit{L. Jezequel} et al., Discrete Event Dyn. Syst. 30, No. 3, 441--464 (2020; Zbl 1448.93183) Full Text: DOI
Jiménez, Ernesto; López-Presa, José Luis; Martín-Rueda, Javier Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures. (English) Zbl 1436.68044 J. Comput. Syst. Sci. 107, 54-71 (2020). MSC: 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{E. Jiménez} et al., J. Comput. Syst. Sci. 107, 54--71 (2020; Zbl 1436.68044) Full Text: DOI
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDF BibTeX XML Cite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI
Mostéfaoui, Achour; Perrin, Matthieu; Raynal, Michel; Cao, Jiannong Crash-tolerant causal broadcast in \(O(n)\) messages. (English) Zbl 07107781 Inf. Process. Lett. 151, Article ID 105837 (2019). MSC: 68Q PDF BibTeX XML Cite \textit{A. Mostéfaoui} et al., Inf. Process. Lett. 151, Article ID 105837 (2019; Zbl 07107781) Full Text: DOI
Boczkowski, Lucas; Korman, Amos; Natale, Emanuele Minimizing message size in stochastic communication patterns: fast self-stabilizing protocols with 3 bits. (English) Zbl 1451.68037 Distrib. Comput. 32, No. 3, 173-191 (2019). MSC: 68M14 68M15 68P30 PDF BibTeX XML Cite \textit{L. Boczkowski} et al., Distrib. Comput. 32, No. 3, 173--191 (2019; Zbl 1451.68037) Full Text: DOI
Kavanagh, Ryan; Brookes, Stephen A denotational semantics for SPARC TSO. (English) Zbl 1421.68096 Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019). MSC: 68Q55 68M07 68N30 68Q85 PDF BibTeX XML Cite \textit{R. Kavanagh} and \textit{S. Brookes}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019; Zbl 1421.68096) Full Text: arXiv
Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI
Knight, Sophia; Maubert, Bastien; Schwarzentruber, François Reasoning about knowledge and messages in asynchronous multi-agent systems. (English) Zbl 1407.68471 Math. Struct. Comput. Sci. 29, No. 1, 127-168 (2019). MSC: 68T27 03B42 68Q60 68T42 PDF BibTeX XML Cite \textit{S. Knight} et al., Math. Struct. Comput. Sci. 29, No. 1, 127--168 (2019; Zbl 1407.68471) Full Text: DOI
Taylor, Simon J. E. Distributed simulation: state-of-the-art and potential for operational research. (English) Zbl 1403.90681 Eur. J. Oper. Res. 273, No. 1, 1-19 (2019). MSC: 90C90 90C59 90-02 PDF BibTeX XML Cite \textit{S. J. E. Taylor}, Eur. J. Oper. Res. 273, No. 1, 1--19 (2019; Zbl 1403.90681) Full Text: DOI
Ben-Zvi, Ido; Moses, Yoram Known unknowns: time bounds and knowledge of ignorance. (English) Zbl 1437.03058 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 187-206 (2018). MSC: 03B42 03B80 03A10 PDF BibTeX XML Cite \textit{I. Ben-Zvi} and \textit{Y. Moses}, Outst. Contrib. Log. 12, 187--206 (2018; Zbl 1437.03058) Full Text: DOI
Gravner, Janko; Lyu, Hanbaek; Sivakoff, David Limiting behavior of 3-color excitable media on arbitrary graphs. (English) Zbl 1404.60151 Ann. Appl. Probab. 28, No. 6, 3324-3357 (2018). MSC: 60K35 82B43 PDF BibTeX XML Cite \textit{J. Gravner} et al., Ann. Appl. Probab. 28, No. 6, 3324--3357 (2018; Zbl 1404.60151) Full Text: DOI Euclid arXiv
Interlandi, Matteo; Tanca, Letizia A Datalog-based computational model for coordination-free, data-parallel systems. (English) Zbl 1452.68078 Theory Pract. Log. Program. 18, No. 5-6, 874-927 (2018). MSC: 68Q10 68N17 PDF BibTeX XML Cite \textit{M. Interlandi} and \textit{L. Tanca}, Theory Pract. Log. Program. 18, No. 5--6, 874--927 (2018; Zbl 1452.68078) Full Text: DOI
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador Declarative debugging of concurrent Erlang programs. (English) Zbl 1400.68052 J. Log. Algebr. Methods Program. 101, 22-41 (2018). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{R. Caballero} et al., J. Log. Algebr. Methods Program. 101, 22--41 (2018; Zbl 1400.68052) Full Text: DOI
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg Schedulers and finishers: on generating and filtering the behaviours of an event structure. (English) Zbl 1400.68139 Theor. Comput. Sci. 744, 97-112 (2018). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. McIver} et al., Theor. Comput. Sci. 744, 97--112 (2018; Zbl 1400.68139) Full Text: DOI
Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Stainer, Julien The entropy of a distributed computation random number generation from memory interleaving. (English) Zbl 1451.68035 Distrib. Comput. 31, No. 5, 389-417 (2018). MSC: 68M14 68M20 68P30 68W15 94A17 PDF BibTeX XML Cite \textit{K. Antoniadis} et al., Distrib. Comput. 31, No. 5, 389--417 (2018; Zbl 1451.68035) Full Text: DOI
Beffara, Emmanuel Order algebras: a quantitative model of interaction. (English) Zbl 1398.68357 Math. Struct. Comput. Sci. 28, No. 7, 1126-1168 (2018). MSC: 68Q85 06F99 68Q55 PDF BibTeX XML Cite \textit{E. Beffara}, Math. Struct. Comput. Sci. 28, No. 7, 1126--1168 (2018; Zbl 1398.68357) Full Text: DOI
Datta, Ajoy K.; Larmore, Lawrence L. Self-stabilizing leader election in dynamic networks. (English) Zbl 1392.68097 Theory Comput. Syst. 62, No. 5, 977-1047 (2018). MSC: 68M14 68M10 68W15 PDF BibTeX XML Cite \textit{A. K. Datta} and \textit{L. L. Larmore}, Theory Comput. Syst. 62, No. 5, 977--1047 (2018; Zbl 1392.68097) Full Text: DOI
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir Model checking concurrent programs. (English) Zbl 1392.68251 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 573-611 (2018). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{A. Gupta} et al., in: Handbook of model checking. Cham: Springer. 573--611 (2018; Zbl 1392.68251) Full Text: DOI
Lyu, Hanbaek Global synchronization of pulse-coupled oscillators on trees. (English) Zbl 1395.34044 SIAM J. Appl. Dyn. Syst. 17, No. 2, 1521-1559 (2018). MSC: 34C15 68W15 34D06 92C42 90B10 PDF BibTeX XML Cite \textit{H. Lyu}, SIAM J. Appl. Dyn. Syst. 17, No. 2, 1521--1559 (2018; Zbl 1395.34044) Full Text: DOI arXiv
Basin, David; Klaedtke, Felix; Zălinescu, Eugen Algorithms for monitoring real-time properties. (English) Zbl 1395.68185 Acta Inf. 55, No. 4, 309-338 (2018). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{D. Basin} et al., Acta Inf. 55, No. 4, 309--338 (2018; Zbl 1395.68185) Full Text: DOI
Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. Practically-self-stabilizing virtual synchrony. (English) Zbl 1393.68029 J. Comput. Syst. Sci. 96, 50-73 (2018). MSC: 68M14 PDF BibTeX XML Cite \textit{S. Dolev} et al., J. Comput. Syst. Sci. 96, 50--73 (2018; Zbl 1393.68029) Full Text: DOI
Xia, Weiguo; Cao, Ming Determination of clock synchronization errors in distributed networks. (English) Zbl 1382.93016 SIAM J. Control Optim. 56, No. 2, 610-632 (2018). MSC: 93C05 93A14 PDF BibTeX XML Cite \textit{W. Xia} and \textit{M. Cao}, SIAM J. Control Optim. 56, No. 2, 610--632 (2018; Zbl 1382.93016) Full Text: DOI
Kamei, Sayaka; Kakugawa, Hirotsugu An asynchronous message-passing distributed algorithm for the generalized local critical section problem. (English) Zbl 06920624 Algorithms (Basel) 10, No. 2, Paper No. 38, 15 p. (2017). MSC: 00 PDF BibTeX XML Cite \textit{S. Kamei} and \textit{H. Kakugawa}, Algorithms (Basel) 10, No. 2, Paper No. 38, 15 p. (2017; Zbl 06920624) Full Text: DOI
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. (English) Zbl 1380.68279 Form. Methods Syst. Des. 51, No. 2, 270-307 (2017). MSC: 68Q60 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{I. Konnov} et al., Form. Methods Syst. Des. 51, No. 2, 270--307 (2017; Zbl 1380.68279) Full Text: DOI
Estevan, A. Some results on biordered structures, in particular distributed systems. (English) Zbl 1396.91177 J. Math. Psychol. 77, 70-81 (2017). MSC: 91B16 06A06 54F05 PDF BibTeX XML Cite \textit{A. Estevan}, J. Math. Psychol. 77, 70--81 (2017; Zbl 1396.91177) Full Text: DOI
Cogumbreiro, Tiago; Shirako, Jun; Sarkar, Vivek Formalization of Habanero phasers using Coq. (English) Zbl 1371.68050 J. Log. Algebr. Methods Program. 90, 50-60 (2017). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{T. Cogumbreiro} et al., J. Log. Algebr. Methods Program. 90, 50--60 (2017; Zbl 1371.68050) Full Text: DOI
Natarajan, Aravind; Chauhan, Himanshu; Mittal, Neeraj; Garg, Vijay K. Efficient abstraction algorithms for predicate detection. (English) Zbl 1371.68180 Theor. Comput. Sci. 688, 24-48 (2017). MSC: 68Q60 68Q10 68W15 68W27 PDF BibTeX XML Cite \textit{A. Natarajan} et al., Theor. Comput. Sci. 688, 24--48 (2017; Zbl 1371.68180) Full Text: DOI
Bick, Christian; Field, Michael Asynchronous networks and event driven dynamics. (English) Zbl 1361.34011 Nonlinearity 30, No. 2, 558-594 (2017). MSC: 34A36 37N25 37N35 93A30 92B20 PDF BibTeX XML Cite \textit{C. Bick} and \textit{M. Field}, Nonlinearity 30, No. 2, 558--594 (2017; Zbl 1361.34011) Full Text: DOI arXiv
Konnov, Igor; Veith, Helmut; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. (English) Zbl 1355.68176 Inf. Comput. 252, 95-109 (2017). MSC: 68Q60 68M15 68W15 PDF BibTeX XML Cite \textit{I. Konnov} et al., Inf. Comput. 252, 95--109 (2017; Zbl 1355.68176) Full Text: DOI
Zhang, Yang; Feng, Xinyu An operational happens-before memory model. (English) Zbl 1403.68028 Front. Comput. Sci. 10, No. 1, 54-81 (2016). MSC: 68N15 68N30 68Q55 PDF BibTeX XML Cite \textit{Y. Zhang} and \textit{X. Feng}, Front. Comput. Sci. 10, No. 1, 54--81 (2016; Zbl 1403.68028) Full Text: DOI
Zhang, Min; Mallet, Frédéric An executable semantics of clock constraint specification language and its applications. (English) Zbl 1396.68072 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 37-51 (2016). MSC: 68Q60 68Q55 PDF BibTeX XML Cite \textit{M. Zhang} and \textit{F. Mallet}, Commun. Comput. Inf. Sci. 596, 37--51 (2016; Zbl 1396.68072) Full Text: DOI
Sharma, Bharti; Bhatia, Ravinder Singh; Singh, Awadhesh Kumar Mutual exclusion in MANETs using quorum agreements. (English) Zbl 1382.68033 Proc. Natl. Acad. Sci. India, Sect. A, Phys. Sci. 86, No. 2, 169-186 (2016). MSC: 68M14 68M12 PDF BibTeX XML Cite \textit{B. Sharma} et al., Proc. Natl. Acad. Sci. India, Sect. A, Phys. Sci. 86, No. 2, 169--186 (2016; Zbl 1382.68033) Full Text: DOI
Stewart, Robert; Maier, Patrick; Trinder, Phil Transparent fault tolerance for scalable functional computation. (English) Zbl 1420.68026 J. Funct. Program. 26, Paper No. e5, 42 p. (2016). MSC: 68M15 68N18 PDF BibTeX XML Cite \textit{R. Stewart} et al., J. Funct. Program. 26, Paper No. e5, 42 p. (2016; Zbl 1420.68026) Full Text: DOI
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg Schedulers and finishers: on generating the behaviours of an event structure. (English) Zbl 1400.68138 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 121-138 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. McIver} et al., Lect. Notes Comput. Sci. 9965, 121--138 (2016; Zbl 1400.68138) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe On the diversity of asynchronous communication. (English) Zbl 1345.68022 Formal Asp. Comput. 28, No. 5, 847-879 (2016). MSC: 68M14 68Q60 PDF BibTeX XML Cite \textit{F. Chevrou} et al., Formal Asp. Comput. 28, No. 5, 847--879 (2016; Zbl 1345.68022) Full Text: DOI
Börger, Egon; Schewe, Klaus-Dieter Concurrent abstract state machines. (English) Zbl 1352.68176 Acta Inf. 53, No. 5, 469-492 (2016). Reviewer: Tiit Riismaa (Tallinn) MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Börger} and \textit{K.-D. Schewe}, Acta Inf. 53, No. 5, 469--492 (2016; Zbl 1352.68176) Full Text: DOI
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric Timed-pNets: a communication behavioural semantic model for distributed systems. (English) Zbl 1403.68138 Front. Comput. Sci. 9, No. 1, 87-110 (2015). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{Y. Chen} et al., Front. Comput. Sci. 9, No. 1, 87--110 (2015; Zbl 1403.68138) Full Text: DOI
Cardone, Felice Continuity in semantic theories of programming. (English) Zbl 1359.68003 Hist. Philos. Log. 36, No. 3, 242-261 (2015). MSC: 68-03 68N30 68Q55 PDF BibTeX XML Cite \textit{F. Cardone}, Hist. Philos. Log. 36, No. 3, 242--261 (2015; Zbl 1359.68003) Full Text: DOI
Abdelhafidi, Zohra; Djoudi, Mohamed; Lagraa, Nasreddine; Yagoubi, Mohamed Bachir FNB: fast non-blocking coordinated checkpointing protocol for distributed systems. (English) Zbl 1347.68023 Theory Comput. Syst. 57, No. 2, 397-425 (2015). MSC: 68M14 68M12 68M15 PDF BibTeX XML Cite \textit{Z. Abdelhafidi} et al., Theory Comput. Syst. 57, No. 2, 397--425 (2015; Zbl 1347.68023) Full Text: DOI
Raynal, Michel Communication patterns and input patterns in distributed computing. (invited talk). (English) Zbl 06527677 Scheideler, Christian (ed.), Structural information and communication complexity. 22nd international colloquium, SIROCCO 2015, Montserrat, Spain, July 14–16, 2015. Post-proceedings. Cham: Springer (ISBN 978-3-319-25257-5/pbk; 978-3-319-25258-2/ebook). Lecture Notes in Computer Science 9439, 1-15 (2015). MSC: 68M10 68M14 68R10 PDF BibTeX XML Cite \textit{M. Raynal}, Lect. Notes Comput. Sci. 9439, 1--15 (2015; Zbl 06527677) Full Text: DOI
Mallet, Frédéric; Zholtkevych, Grygoriy Coalgebraic semantic model for the clock constraint specification language. (English) Zbl 1328.68138 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6–7, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17580-5/pbk; 978-3-319-17581-2/ebook). Communications in Computer and Information Science 476, 174-188 (2015). MSC: 68Q85 68Q60 68Q65 PDF BibTeX XML Cite \textit{F. Mallet} and \textit{G. Zholtkevych}, Commun. Comput. Inf. Sci. 476, 174--188 (2015; Zbl 1328.68138) Full Text: DOI
Filali, Mamoun; Ouederni, Meriem; Raclet, Jean-Baptiste A normalized form for FIFO protocols traces, application to the replay of mode-based protocols. (English) Zbl 1328.68026 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6–7, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17580-5/pbk; 978-3-319-17581-2/ebook). Communications in Computer and Information Science 476, 76-92 (2015). MSC: 68M12 68N30 68Q85 PDF BibTeX XML Cite \textit{M. Filali} et al., Commun. Comput. Inf. Sci. 476, 76--92 (2015; Zbl 1328.68026) Full Text: DOI
Jagadeesan, Radha; Riely, James From sequential specifications to eventual consistency. (English) Zbl 1440.68020 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 247-259 (2015). MSC: 68M14 68P05 68Q60 PDF BibTeX XML Cite \textit{R. Jagadeesan} and \textit{J. Riely}, Lect. Notes Comput. Sci. 9135, 247--259 (2015; Zbl 1440.68020) Full Text: DOI
Muscholl, Anca Automated synthesis of distributed controllers. (English) Zbl 1440.68178 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 11-27 (2015). MSC: 68Q85 68N19 PDF BibTeX XML Cite \textit{A. Muscholl}, Lect. Notes Comput. Sci. 9135, 11--27 (2015; Zbl 1440.68178) Full Text: DOI
Muscholl, Anca On distributed monitoring and synthesis. (English) Zbl 06496603 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20027-9/pbk; 978-3-319-20028-6/ebook). Lecture Notes in Computer Science 9136, 54-62 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Muscholl}, Lect. Notes Comput. Sci. 9136, 54--62 (2015; Zbl 06496603) Full Text: DOI
Kakugawa, Hirotsugu Self-stabilizing distributed algorithm for local mutual inclusion. (English) Zbl 1328.68291 Inf. Process. Lett. 115, No. 6-8, 562-569 (2015). MSC: 68W15 PDF BibTeX XML Cite \textit{H. Kakugawa}, Inf. Process. Lett. 115, No. 6--8, 562--569 (2015; Zbl 1328.68291) Full Text: DOI
Broy, Manfred Computability and realizability for interactive computations. (English) Zbl 1309.68064 Inf. Comput. 241, 277-301 (2015). MSC: 68Q05 PDF BibTeX XML Cite \textit{M. Broy}, Inf. Comput. 241, 277--301 (2015; Zbl 1309.68064) Full Text: DOI
Delporte-Gallet, Carole; Fauconnier, Hugues; Gafni, Eli; Kuznetsov, Petr Wait-freedom with advice. (English) Zbl 1322.68024 Distrib. Comput. 28, No. 1, 3-19 (2015). MSC: 68M14 68M15 68Q10 PDF BibTeX XML Cite \textit{C. Delporte-Gallet} et al., Distrib. Comput. 28, No. 1, 3--19 (2015; Zbl 1322.68024) Full Text: DOI
Kutten, Shay; Pandurangan, Gopal; Peleg, David; Robinson, Peter; Trehan, Amitabh Sublinear bounds for randomized leader election. (English) Zbl 1303.68034 Theor. Comput. Sci. 561, Part B, 134-143 (2015). MSC: 68M14 68Q17 68W15 68W20 PDF BibTeX XML Cite \textit{S. Kutten} et al., Theor. Comput. Sci. 561, Part B, 134--143 (2015; Zbl 1303.68034) Full Text: DOI
Michail, Othon; Chatzigiannakis, Ioannis; Spirakis, Paul G. Causality, influence, and computation in possibly disconnected synchronous dynamic networks. (English) Zbl 1327.68046 J. Parallel Distrib. Comput. 74, No. 1, 2016-2026 (2014). MSC: 68M14 68M12 68M20 68R10 PDF BibTeX XML Cite \textit{O. Michail} et al., J. Parallel Distrib. Comput. 74, No. 1, 2016--2026 (2014; Zbl 1327.68046) Full Text: DOI
Stehr, Mark-Oliver; Kim, Minyoung; McCarthy, Tim A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems. (English) Zbl 1323.68280 Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 379-393 (2014). MSC: 68Q05 68Q10 68U20 PDF BibTeX XML Cite \textit{M.-O. Stehr} et al., Lect. Notes Comput. Sci. 8808, 379--393 (2014; Zbl 1323.68280) Full Text: DOI
Cheng, Steven; Higham, Lisa; Kawash, Jalal Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations. (English) Zbl 1320.68045 Distrib. Comput. 27, No. 5, 363-389 (2014). MSC: 68M14 PDF BibTeX XML Cite \textit{S. Cheng} et al., Distrib. Comput. 27, No. 5, 363--389 (2014; Zbl 1320.68045) Full Text: DOI
Balasubramanian, Bharath; Garg, Vijay K. Fault tolerance in distributed systems using fused state machines. (English) Zbl 1320.68044 Distrib. Comput. 27, No. 4, 287-311 (2014). MSC: 68M14 68M15 68P30 PDF BibTeX XML Cite \textit{B. Balasubramanian} and \textit{V. K. Garg}, Distrib. Comput. 27, No. 4, 287--311 (2014; Zbl 1320.68044) Full Text: DOI
Ben-Zvi, Ido; Moses, Yoram Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. (English) Zbl 1295.68165 J. ACM 61, No. 2, Article No. 13, 26 p. (2014). MSC: 68Q85 68M14 PDF BibTeX XML Cite \textit{I. Ben-Zvi} and \textit{Y. Moses}, J. ACM 61, No. 2, Article No. 13, 26 p. (2014; Zbl 1295.68165) Full Text: DOI
Helmi, Maryam; Higham, Lisa; Pacheco, Eduardo; Woelfel, Philipp The space complexity of long-lived and one-shot timestamp implementations. (English) Zbl 1295.68168 J. ACM 61, No. 1, Article No. 7, 25 p. (2014). MSC: 68Q85 68Q25 68W05 PDF BibTeX XML Cite \textit{M. Helmi} et al., J. ACM 61, No. 1, Article No. 7, 25 p. (2014; Zbl 1295.68168) Full Text: DOI
Panangaden, Prakash Causality in physics and computation. (English) Zbl 1360.68634 Theor. Comput. Sci. 546, 10-16 (2014). MSC: 68Q85 83C75 PDF BibTeX XML Cite \textit{P. Panangaden}, Theor. Comput. Sci. 546, 10--16 (2014; Zbl 1360.68634) Full Text: DOI
Raynal, Michel What can be computed in a distributed system? (English) Zbl 1416.68025 Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 209-224 (2014). MSC: 68M14 68M15 68Q25 68W15 PDF BibTeX XML Cite \textit{M. Raynal}, Lect. Notes Comput. Sci. 8415, 209--224 (2014; Zbl 1416.68025) Full Text: DOI
Moser, Heinrich; Schmid, Ulrich Reconciling fault-tolerant distributed algorithms and real-time computing. (English) Zbl 1291.68054 Distrib. Comput. 27, No. 3, 203-230 (2014). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{H. Moser} and \textit{U. Schmid}, Distrib. Comput. 27, No. 3, 203--230 (2014; Zbl 1291.68054) Full Text: DOI
Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel Timed implementation relations for the distributed test architecture. (English) Zbl 1291.68048 Distrib. Comput. 27, No. 3, 181-201 (2014). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{R. M. Hierons} et al., Distrib. Comput. 27, No. 3, 181--201 (2014; Zbl 1291.68048) Full Text: DOI
Garg, Vijay K.; Agarwal, Anurag; Ogale, Vinit Modeling, analyzing and slicing periodic distributed computations. (English) Zbl 1285.68012 Inf. Comput. 234, 26-43 (2014). MSC: 68M14 68W15 68Q05 68R10 PDF BibTeX XML Cite \textit{V. K. Garg} et al., Inf. Comput. 234, 26--43 (2014; Zbl 1285.68012) Full Text: DOI
Kleinberg, Jon Analysis of large-scale social and information networks. (English) Zbl 1353.91045 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 371, No. 1987, Article ID 20120378, 7 p. (2013). MSC: 91D30 68M11 05C82 PDF BibTeX XML Cite \textit{J. Kleinberg}, Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 371, No. 1987, Article ID 20120378, 7 p. (2013; Zbl 1353.91045) Full Text: DOI
Challenger, Moharram; Haytaoglu, Elif; Tokatli, Gorkem; Dagdeviren, Orhan; Erciyes, Kayhan A hybrid distributed mutual exclusion algorithm for cluster-based systems. (English) Zbl 1299.94128 Math. Probl. Eng. 2013, Article ID 703414, 15 p. (2013). MSC: 94C99 90B18 68W15 68M14 62H30 PDF BibTeX XML Cite \textit{M. Challenger} et al., Math. Probl. Eng. 2013, Article ID 703414, 15 p. (2013; Zbl 1299.94128) Full Text: DOI
Zhou, Yu; Baresi, Luciano; Rossi, Matteo Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata. (English) Zbl 1280.68139 J. Comput. Sci. Technol. 28, No. 1, 188-202 (2013). MSC: 68Q85 68Q45 68Q55 PDF BibTeX XML Cite \textit{Y. Zhou} et al., J. Comput. Sci. Technol. 28, No. 1, 188--202 (2013; Zbl 1280.68139) Full Text: DOI
Dolev, Shlomi; Tzachar, Nir Spanders: distributed spanning expanders. (English) Zbl 1279.68026 Sci. Comput. Program. 78, No. 5, 544-555 (2013). MSC: 68M14 68Q87 68W20 PDF BibTeX XML Cite \textit{S. Dolev} and \textit{N. Tzachar}, Sci. Comput. Program. 78, No. 5, 544--555 (2013; Zbl 1279.68026) Full Text: DOI
Ingram, Rebecca; Radeva, Tsvetomira; Shields, Patrick; Viqar, Saira; Walter, Jennifer E.; Welch, Jennifer L. A leader election algorithm for dynamic networks with causal clocks. (English) Zbl 1271.68244 Distrib. Comput. 26, No. 2, 75-97 (2013). MSC: 68W15 68M10 68M14 PDF BibTeX XML Cite \textit{R. Ingram} et al., Distrib. Comput. 26, No. 2, 75--97 (2013; Zbl 1271.68244) Full Text: DOI
Misra, Jayadev A secure voting scheme based on rational self-interest. (English) Zbl 1259.91044 Formal Asp. Comput. 24, No. 4-6, 793-805 (2012). MSC: 91B12 PDF BibTeX XML Cite \textit{J. Misra}, Formal Asp. Comput. 24, No. 4--6, 793--805 (2012; Zbl 1259.91044) Full Text: DOI
D’ariano, Giacomo Mauro The quantum field as a quantum computer. (English) Zbl 1255.81104 Phys. Lett., A 376, No. 5, 697-702 (2012). MSC: 81P68 68Q12 81T10 PDF BibTeX XML Cite \textit{G. M. D'ariano}, Phys. Lett., A 376, No. 5, 697--702 (2012; Zbl 1255.81104) Full Text: DOI
Burgin, Mark; Gupta, Bidyut Second-level algorithms, superrecursivity, and recovery problem in distributed systems. (English) Zbl 1253.68057 Theory Comput. Syst. 50, No. 4, 694-705 (2012). MSC: 68M14 68M10 68M15 PDF BibTeX XML Cite \textit{M. Burgin} and \textit{B. Gupta}, Theory Comput. Syst. 50, No. 4, 694--705 (2012; Zbl 1253.68057) Full Text: DOI
Ci, Yi-Wei; Zhang, Zhan; Zuo, De-Cheng; Wu, Zhi-Bo; Yang, Xiao-Zong A multi-cycle checkpointing protocol that ensures strict 1-rollback. (English) Zbl 1248.68088 Inf. Process. Lett. 112, No. 20, 788-793 (2012). MSC: 68M14 68M15 68M12 PDF BibTeX XML Cite \textit{Y.-W. Ci} et al., Inf. Process. Lett. 112, No. 20, 788--793 (2012; Zbl 1248.68088) Full Text: DOI
Meseguer, José; Ölveczky, Peter Csaba Formalization and correctness of the PALS architectural pattern for distributed real-time systems. (English) Zbl 1284.68073 Theor. Comput. Sci. 451, 1-37 (2012). MSC: 68M14 68Q60 68M07 68M10 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{P. C. Ölveczky}, Theor. Comput. Sci. 451, 1--37 (2012; Zbl 1284.68073) Full Text: DOI
Imbs, Damien; Raynal, Michel Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations). (English) Zbl 1246.68091 Theor. Comput. Sci. 444, 113-127 (2012). MSC: 68N19 68N99 68P15 PDF BibTeX XML Cite \textit{D. Imbs} and \textit{M. Raynal}, Theor. Comput. Sci. 444, 113--127 (2012; Zbl 1246.68091) Full Text: DOI
Lobo, Jorge; Ma, Jiefei; Russo, Alessandra; Le, Franck Declarative distributed computing. (English) Zbl 1357.68139 Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 454-470 (2012). MSC: 68Q85 68N17 68Q55 PDF BibTeX XML Cite \textit{J. Lobo} et al., Lect. Notes Comput. Sci. 7265, 454--470 (2012; Zbl 1357.68139) Full Text: DOI
Pomares Hernandez, S. E.; Perez Cruz, J. R.; Raynal, M. From the happened-before relation to the causal ordered set abstraction. (English) Zbl 1242.68026 J. Parallel Distrib. Comput. 72, No. 6, 791-795 (2012). MSC: 68M14 PDF BibTeX XML Cite \textit{S. E. Pomares Hernandez} et al., J. Parallel Distrib. Comput. 72, No. 6, 791--795 (2012; Zbl 1242.68026) Full Text: DOI
Neamatollahi, Peyman; Taheri, Hoda; Naghibzadeh, Mahmoud Info-based approach in distributed mutual exclusion algorithms. (English) Zbl 1242.68024 J. Parallel Distrib. Comput. 72, No. 5, 650-665 (2012). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{P. Neamatollahi} et al., J. Parallel Distrib. Comput. 72, No. 5, 650--665 (2012; Zbl 1242.68024) Full Text: DOI
Droz-Bartholet, L.; Lapayre, J.-C.; Bouquet, F.; Garcia, E.; Heinisch, A. Ramos: concurrent writing and reconfiguration for collaborative systems. (English) Zbl 1242.68019 J. Parallel Distrib. Comput. 72, No. 5, 637-649 (2012). MSC: 68M14 68M15 68M12 PDF BibTeX XML Cite \textit{L. Droz-Bartholet} et al., J. Parallel Distrib. Comput. 72, No. 5, 637--649 (2012; Zbl 1242.68019) Full Text: DOI
Kshemkalyani, Ajay D. Immediate detection of predicates in pervasive environments. (English) Zbl 1242.68023 J. Parallel Distrib. Comput. 72, No. 2, 219-230 (2012). MSC: 68M14 68M15 PDF BibTeX XML Cite \textit{A. D. Kshemkalyani}, J. Parallel Distrib. Comput. 72, No. 2, 219--230 (2012; Zbl 1242.68023) Full Text: DOI
Rodríguez, Ismael; Díaz, Gregorio; Rabanal, Pablo; Mateo, Jose Antonio A centralized and a decentralized method to automatically derive choreography-conforming web service systems. (English) Zbl 1236.68052 J. Log. Algebr. Program. 81, No. 2, 127-159 (2012). MSC: 68N99 68M11 68Q65 PDF BibTeX XML Cite \textit{I. Rodríguez} et al., J. Log. Algebr. Program. 81, No. 2, 127--159 (2012; Zbl 1236.68052) Full Text: DOI
Heidarian, Faranak; Schmaltz, Julien; Vaandrager, Frits Analysis of a clock synchronization protocol for wireless sensor networks. (English) Zbl 1307.68009 Theor. Comput. Sci. 413, No. 1, 87-105 (2012). MSC: 68M14 68M10 68M12 68Q45 68Q60 68T15 PDF BibTeX XML Cite \textit{F. Heidarian} et al., Theor. Comput. Sci. 413, No. 1, 87--105 (2012; Zbl 1307.68009) Full Text: DOI
Wang, Bing; Hou, Bonan; Xing, Fei; Yao, Yiping Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions. (English) Zbl 1366.92051 Comput. Biol. Chem. 35, No. 3, 193-198 (2011). MSC: 92C40 92-08 68U20 PDF BibTeX XML Cite \textit{B. Wang} et al., Comput. Biol. Chem. 35, No. 3, 193--198 (2011; Zbl 1366.92051) Full Text: DOI
Taheri, Hoda; Neamatollahi, Peyman; Naghibzadeh, Mahmoud A hybrid token-based distributed mutual exclusion algorithm using wraparound two-dimensional array logical topology. (English) Zbl 1260.68453 Inf. Process. Lett. 111, No. 17, 841-847 (2011). MSC: 68W15 68M14 68W40 PDF BibTeX XML Cite \textit{H. Taheri} et al., Inf. Process. Lett. 111, No. 17, 841--847 (2011; Zbl 1260.68453) Full Text: DOI
Kshemkalyani, Ajay D. Repeated detection of conjunctive predicates in distributed executions. (English) Zbl 1260.68452 Inf. Process. Lett. 111, No. 9, 447-452 (2011). MSC: 68W15 68W40 PDF BibTeX XML Cite \textit{A. D. Kshemkalyani}, Inf. Process. Lett. 111, No. 9, 447--452 (2011; Zbl 1260.68452) Full Text: DOI
Ben-Zvi, Ido; Moses, Yoram On interactive knowledge with bounded communication. (English) Zbl 1242.03035 J. Appl. Non-Class. Log. 21, No. 3-4, 323-354 (2011). MSC: 03B42 68M12 68T42 94A05 PDF BibTeX XML Cite \textit{I. Ben-Zvi} and \textit{Y. Moses}, J. Appl. Non-Class. Log. 21, No. 3--4, 323--354 (2011; Zbl 1242.03035) Full Text: DOI
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti Symbolic predictive analysis for concurrent programs. (English) Zbl 1242.68187 Formal Asp. Comput. 23, No. 6, 781-805 (2011). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{C. Wang} et al., Formal Asp. Comput. 23, No. 6, 781--805 (2011; Zbl 1242.68187) Full Text: DOI
Chen, Lung-Pin; Sun, Der-Johng; Chu, William Efficient online algorithm for identifying useless states in distributed systems. (English) Zbl 1231.68069 Distrib. Comput. 23, No. 5-6, 359-372 (2011). MSC: 68M14 68W27 PDF BibTeX XML Cite \textit{L.-P. Chen} et al., Distrib. Comput. 23, No. 5--6, 359--372 (2011; Zbl 1231.68069) Full Text: DOI
Gafni, Eli; Kuznetsov, Petr On set consensus numbers. (English) Zbl 1231.68075 Distrib. Comput. 24, No. 3-4, 149-163 (2011). MSC: 68M14 68W40 PDF BibTeX XML Cite \textit{E. Gafni} and \textit{P. Kuznetsov}, Distrib. Comput. 24, No. 3--4, 149--163 (2011; Zbl 1231.68075) Full Text: DOI
Robinson, Peter; Schmid, Ulrich The asynchronous bounded-cycle model. (English) Zbl 1223.68021 Theor. Comput. Sci. 412, No. 40, 5580-5601 (2011). MSC: 68M14 68M15 PDF BibTeX XML Cite \textit{P. Robinson} and \textit{U. Schmid}, Theor. Comput. Sci. 412, No. 40, 5580--5601 (2011; Zbl 1223.68021) Full Text: DOI
Gafni, Eli; Guerraoui, Rachid Generalized universality. (English) Zbl 1343.68168 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 17-27 (2011). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Gafni} and \textit{R. Guerraoui}, Lect. Notes Comput. Sci. 6901, 17--27 (2011; Zbl 1343.68168) Full Text: DOI
Tátrai, Antal Parallel implementations of Brunotte’s algorithm. (English) Zbl 1219.68167 J. Parallel Distrib. Comput. 71, No. 4, 565-572 (2011). MSC: 68W40 68N19 PDF BibTeX XML Cite \textit{A. Tátrai}, J. Parallel Distrib. Comput. 71, No. 4, 565--572 (2011; Zbl 1219.68167) Full Text: DOI
Roh, Hyun-Gul; Jeon, Myeongjae; Kim, Jin-Soo; Lee, Joonwon Replicated abstract data types: building blocks for collaborative applications. (English) Zbl 1219.68092 J. Parallel Distrib. Comput. 71, No. 3, 354-368 (2011). MSC: 68P05 PDF BibTeX XML Cite \textit{H.-G. Roh} et al., J. Parallel Distrib. Comput. 71, No. 3, 354--368 (2011; Zbl 1219.68092) Full Text: DOI
Abraham, Uri Logical classification of distributed algorithms (Bakery algorithms as an example). (English) Zbl 1221.68162 Theor. Comput. Sci. 412, No. 25, 2724-2745 (2011). Reviewer: Dana Petcu (Timişoara) MSC: 68Q85 03B70 68W15 PDF BibTeX XML Cite \textit{U. Abraham}, Theor. Comput. Sci. 412, No. 25, 2724--2745 (2011; Zbl 1221.68162) Full Text: DOI
Miné, Antoine Static analysis of run-time errors in embedded critical parallel C programs. (English) Zbl 1239.68021 Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 398-418 (2011). MSC: 68N19 PDF BibTeX XML Cite \textit{A. Miné}, Lect. Notes Comput. Sci. 6602, 398--418 (2011; Zbl 1239.68021) Full Text: DOI
Mazza, Eduardo; Potet, Marie-Laure; Le Métayer, Daniel A formal framework for specifying and analyzing logs as electronic evidence. (English) Zbl 1325.68155 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 194-209 (2011). MSC: 68Q60 PDF BibTeX XML Cite \textit{E. Mazza} et al., Lect. Notes Comput. Sci. 6527, 194--209 (2011; Zbl 1325.68155) Full Text: DOI
Akhtar, Sabina; Merz, Stephan; Quinson, Martin A high-level language for modeling algorithms and their properties. (English) Zbl 1325.68040 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 49-63 (2011). MSC: 68N15 68W15 PDF BibTeX XML Cite \textit{S. Akhtar} et al., Lect. Notes Comput. Sci. 6527, 49--63 (2011; Zbl 1325.68040) Full Text: DOI
Wu, Dan; Cheong, Chi Hong; Wong, Man Hon Distributed snapshots for ad hoc network systems. (English) Zbl 1211.68030 Int. J. Parallel Emergent Distrib. Syst. 26, No. 2, 149-164 (2011). MSC: 68M14 PDF BibTeX XML Cite \textit{D. Wu} et al., Int. J. Parallel Emergent Distrib. Syst. 26, No. 2, 149--164 (2011; Zbl 1211.68030) Full Text: DOI
Chiu, Yung-Chang; Shieh, Ce-Kuen; Huang, Tzu-Chi; Liang, Tyng-Yeu; Chu, Kuo-Chih Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems. (English) Zbl 1211.68068 Parallel Comput. 37, No. 1, 11-25 (2011). MSC: 68N19 PDF BibTeX XML Cite \textit{Y.-C. Chiu} et al., Parallel Comput. 37, No. 1, 11--25 (2011; Zbl 1211.68068) Full Text: DOI
Roh, Hyun-Gul; Jeon, Myeongjae; Seo, Euiseong; Kim, Jinsoo; Lee, Joonwon \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication. (English) Zbl 1234.68035 Inf. Process. Lett. 110, No. 14-15, 614-620 (2010). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{H.-G. Roh} et al., Inf. Process. Lett. 110, No. 14--15, 614--620 (2010; Zbl 1234.68035) Full Text: DOI