Karayel, Emin; Gonzàlez, Edgar Strong eventual consistency of the collaborative editing framework WOOT. (English) Zbl 1485.68021 Distrib. Comput. 35, No. 2, 145-164 (2022). MSC: 68M14 68P05 68Q60 68U15 68V20 PDFBibTeX XMLCite \textit{E. Karayel} and \textit{E. Gonzàlez}, Distrib. Comput. 35, No. 2, 145--164 (2022; Zbl 1485.68021) Full Text: DOI
Fraigniaud, Pierre; Patt-Shamir, Boaz; Perry, Mor Randomized proof-labeling schemes. (English) Zbl 1452.68024 Distrib. Comput. 32, No. 3, 217-234 (2019). MSC: 68M14 68Q60 68R10 68W15 68W20 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Distrib. Comput. 32, No. 3, 217--234 (2019; Zbl 1452.68024) Full Text: DOI HAL
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut Parameterized model checking of rendezvous systems. (English) Zbl 1451.68165 Distrib. Comput. 31, No. 3, 187-222 (2018). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{B. Aminof} et al., Distrib. Comput. 31, No. 3, 187--222 (2018; Zbl 1451.68165) Full Text: DOI
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien Formal verification of mobile robot protocols. (English) Zbl 1410.68217 Distrib. Comput. 29, No. 6, 459-487 (2016). MSC: 68Q60 68M12 68M14 PDFBibTeX XMLCite \textit{B. Bérard} et al., Distrib. Comput. 29, No. 6, 459--487 (2016; Zbl 1410.68217) Full Text: DOI
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum Modelling and verifying the AODV routing protocol. (English) Zbl 1386.68019 Distrib. Comput. 29, No. 4, 279-315 (2016). MSC: 68M12 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. van Glabbeek} et al., Distrib. Comput. 29, No. 4, 279--315 (2016; Zbl 1386.68019) Full Text: DOI arXiv
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph A framework for automated distributed implementation of component-based models. (English) Zbl 1256.68016 Distrib. Comput. 25, No. 5, 383-409 (2012). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., Distrib. Comput. 25, No. 5, 383--409 (2012; Zbl 1256.68016) Full Text: DOI
Dima, Cătălin; Lanotte, Ruggero A study on shuffle, stopwatches and independently evolving clocks. (English) Zbl 1277.68179 Distrib. Comput. 25, No. 1, 5-33 (2012). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{C. Dima} and \textit{R. Lanotte}, Distrib. Comput. 25, No. 1, 5--33 (2012; Zbl 1277.68179) Full Text: DOI
Bonakdarpour, Borzoo; Kulkarni, Sandeep S.; Abujarad, Fuad Symbolic synthesis of masking fault-tolerant distributed programs. (English) Zbl 1285.68016 Distrib. Comput. 25, No. 1, 83-108 (2012). MSC: 68M15 68M14 68W15 68Q60 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., Distrib. Comput. 25, No. 1, 83--108 (2012; Zbl 1285.68016) Full Text: DOI
Tsuchiya, Tatsuhiro; Schiper, André Verification of consensus algorithms using satisfiability solving. (English) Zbl 1231.68164 Distrib. Comput. 23, No. 5-6, 341-358 (2011). MSC: 68Q60 68M14 68W15 PDFBibTeX XMLCite \textit{T. Tsuchiya} and \textit{A. Schiper}, Distrib. Comput. 23, No. 5--6, 341--358 (2011; Zbl 1231.68164) Full Text: DOI Link
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Model checking transactional memories. (English) Zbl 1267.68143 Distrib. Comput. 22, No. 3, 129-145 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Distrib. Comput. 22, No. 3, 129--145 (2010; Zbl 1267.68143) Full Text: DOI Link
Kurki-Suonio, R. Action systems in incremental and aspect-oriented modeling. (English) Zbl 1448.68131 Distrib. Comput. 16, No. 2-3, 201-217 (2003). MSC: 68M14 03B44 68Q60 PDFBibTeX XMLCite \textit{R. Kurki-Suonio}, Distrib. Comput. 16, No. 2--3, 201--217 (2003; Zbl 1448.68131) Full Text: DOI
Yamaguchi, Hirozumi; El-Fakih, Khaled; von Bochmann, Gregor; Higashino, Teruo Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. (English) Zbl 1448.68170 Distrib. Comput. 16, No. 1, 21-35 (2003). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{H. Yamaguchi} et al., Distrib. Comput. 16, No. 1, 21--35 (2003; Zbl 1448.68170) Full Text: DOI
Pogosyants, Anna; Segala, Roberto; Lynch, Nancy Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. (English) Zbl 1448.68156 Distrib. Comput. 13, No. 3, 155-186 (2000). MSC: 68M14 68Q45 68Q60 68Q87 68W20 PDFBibTeX XMLCite \textit{A. Pogosyants} et al., Distrib. Comput. 13, No. 3, 155--186 (2000; Zbl 1448.68156) Full Text: DOI
Manduchi, G.; Moro, M. Automatic verification for a class of distributed systems. (English) Zbl 1448.68347 Distrib. Comput. 13, No. 3, 127-143 (2000). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{G. Manduchi} and \textit{M. Moro}, Distrib. Comput. 13, No. 3, 127--143 (2000; Zbl 1448.68347) Full Text: DOI
Kapus-Kolar, Monika Comments on deriving protocol specifications from service specifications written in LOTOS. (English) Zbl 1448.68122 Distrib. Comput. 12, No. 4, 175-177 (1999). MSC: 68M14 68Q60 68W15 PDFBibTeX XMLCite \textit{M. Kapus-Kolar}, Distrib. Comput. 12, No. 4, 175--177 (1999; Zbl 1448.68122) Full Text: Link
Ladkin, Peter; Lamport, Leslie; Olivier, Bryan; Roegel, Denis Lazy caching in TLA. (English) Zbl 1448.68132 Distrib. Comput. 12, No. 2-3, 151-174 (1999). MSC: 68M14 03B44 68Q60 PDFBibTeX XMLCite \textit{P. Ladkin} et al., Distrib. Comput. 12, No. 2--3, 151--174 (1999; Zbl 1448.68132) Full Text: Link
Jonsson, Bengt; Pnuli, Amir; Rump, Camilla Proving refinement using transduction. (English) Zbl 1448.68118 Distrib. Comput. 12, No. 2-3, 129-149 (1999). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{B. Jonsson} et al., Distrib. Comput. 12, No. 2--3, 129--149 (1999; Zbl 1448.68118) Full Text: Link
Lowe, Gavin; Davies, Jim Using CSP to verify sequential consistency. (English) Zbl 1448.68142 Distrib. Comput. 12, No. 2-3, 91-103 (1999). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{G. Lowe} and \textit{J. Davies}, Distrib. Comput. 12, No. 2--3, 91--103 (1999; Zbl 1448.68142) Full Text: Link
Graf, Susanne Characterization of a sequentially consistent memory and verification of a cache memory by abstraction. (English) Zbl 1448.68103 Distrib. Comput. 12, No. 2-3, 75-90 (1999). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{S. Graf}, Distrib. Comput. 12, No. 2--3, 75--90 (1999; Zbl 1448.68103) Full Text: Link
Brinksma, Ed Cache consistency by design. (English) Zbl 1448.68076 Distrib. Comput. 12, No. 2-3, 61-74 (1999). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{E. Brinksma}, Distrib. Comput. 12, No. 2--3, 61--74 (1999; Zbl 1448.68076) Full Text: Link
Gerth, Rob Sequential consistency and the lazy caching algorithm. (English) Zbl 1448.68101 Distrib. Comput. 12, No. 2-3, 57-59 (1999). MSC: 68M14 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{R. Gerth}, Distrib. Comput. 12, No. 2--3, 57--59 (1999; Zbl 1448.68101) Full Text: Link
Merritt, Michael (ed.) Introduction. (English) Zbl 1448.68034 Distrib. Comput. 12, No. 2-3, 55-56 (1999). MSC: 68-06 68M14 68Q60 68Q85 68W15 00B15 PDFBibTeX XMLCite \textit{M. Merritt} (ed.), Distrib. Comput. 12, No. 2--3, 55--56 (1999; Zbl 1448.68034) Full Text: Link
Baier, Christel; Kwiatkowska, Marta Model checking for a probabilistic branching time logic with fairness. (English) Zbl 1448.68285 Distrib. Comput. 11, No. 3, 125-155 (1998). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} and \textit{M. Kwiatkowska}, Distrib. Comput. 11, No. 3, 125--155 (1998; Zbl 1448.68285) Full Text: Link
Kant, Christian; Higashino, Teruo; von Bochmann, Gregor Deriving protocol specifications from service specifications written in LOTOS. (English) Zbl 1448.68121 Distrib. Comput. 10, No. 1, 29-47 (1996). MSC: 68M14 68Q60 68W15 PDFBibTeX XMLCite \textit{C. Kant} et al., Distrib. Comput. 10, No. 1, 29--47 (1996; Zbl 1448.68121) Full Text: DOI
Brunekreef, Jacob; Katoen, Joost-Pieter; Koymans, Ron; Mauw, Sjouke Design and analysis of dynamic leader election protocols in broadcast networks. (English) Zbl 1448.68077 Distrib. Comput. 9, No. 4, 157-171 (1996). MSC: 68M14 68M12 68Q60 PDFBibTeX XMLCite \textit{J. Brunekreef} et al., Distrib. Comput. 9, No. 4, 157--171 (1996; Zbl 1448.68077) Full Text: DOI Link
Celikkan, Ufuk; Cleaveland, Rance Generating diagnostic information for behavioral preorders. (English) Zbl 1448.68334 Distrib. Comput. 9, No. 2, 61-75 (1995). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{U. Celikkan} and \textit{R. Cleaveland}, Distrib. Comput. 9, No. 2, 61--75 (1995; Zbl 1448.68334) Full Text: DOI
Hesselink, Wim H. Wait-free linearization with a mechanical proof. (English) Zbl 1448.68110 Distrib. Comput. 9, No. 1, 21-36 (1995). MSC: 68M14 68Q60 68W15 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Distrib. Comput. 9, No. 1, 21--36 (1995; Zbl 1448.68110) Full Text: DOI
Tsay, Yih-Kuen; Bagrodia, Rajive L. Some impossibility results in interprocess synchronization. (English) Zbl 0776.68042 Distrib. Comput. 6, No. 4, 221-231 (1993). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{Y.-K. Tsay} and \textit{R. L. Bagrodia}, Distrib. Comput. 6, No. 4, 221--231 (1993; Zbl 0776.68042) Full Text: DOI
Enders, Reinhard; Filkorn, Thomas; Taubner, Dirk Generating BDDs for symbolic model checking in CCS. (English) Zbl 0778.68063 Distrib. Comput. 6, No. 3, 155-164 (1993). MSC: 68Q60 68Q10 68Q55 PDFBibTeX XMLCite \textit{R. Enders} et al., Distrib. Comput. 6, No. 3, 155--164 (1993; Zbl 0778.68063) Full Text: DOI
Lynch, Nancy A.; Attiya, Hagit Using mappings to prove timing properties. (English) Zbl 0773.68054 Distrib. Comput. 6, No. 2, 121-139 (1992). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{N. A. Lynch} and \textit{H. Attiya}, Distrib. Comput. 6, No. 2, 121--139 (1992; Zbl 0773.68054) Full Text: DOI
Katz, Shmuel; Peled, Doron Verification of distributed programs using representative interleaving sequences. (English) Zbl 0773.68053 Distrib. Comput. 6, No. 2, 107-120 (1992). MSC: 68Q60 68W15 68Q55 06B35 PDFBibTeX XMLCite \textit{S. Katz} and \textit{D. Peled}, Distrib. Comput. 6, No. 2, 107--120 (1992; Zbl 0773.68053) Full Text: DOI
Panangaden, Prakash; Taylor, Kim Concurrent common knowledge: Defining agreement for asynchronous systems. (English) Zbl 0773.68009 Distrib. Comput. 6, No. 2, 73-93 (1992). MSC: 68M10 68Q60 PDFBibTeX XMLCite \textit{P. Panangaden} and \textit{K. Taylor}, Distrib. Comput. 6, No. 2, 73--93 (1992; Zbl 0773.68009) Full Text: DOI
Meldal, Sigurd A complete axiomatic semantics of spawning. (English) Zbl 0731.68076 Distrib. Comput. 5, No. 3, 159-174 (1991). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{S. Meldal}, Distrib. Comput. 5, No. 3, 159--174 (1991; Zbl 0731.68076) Full Text: DOI
Pandya, Paritosh K.; Joseph, Mathai P-A logic - a compositional proof system for distributed programs. (English) Zbl 0723.68075 Distrib. Comput. 5, No. 1, 37-54 (1991). MSC: 68Q60 68W15 PDFBibTeX XMLCite \textit{P. K. Pandya} and \textit{M. Joseph}, Distrib. Comput. 5, No. 1, 37--54 (1991; Zbl 0723.68075) Full Text: DOI
Peleska, Jan Design and verification of fault tolerant systems with CSP. (English) Zbl 0738.68058 Distrib. Comput. 5, No. 2, 95-106 (1991). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Peleska}, Distrib. Comput. 5, No. 2, 95--106 (1991; Zbl 0738.68058) Full Text: DOI
Paliwoda, Karen; Sanders, Jeff M. An incremental specification of the sliding-window protocol. (English) Zbl 0738.68057 Distrib. Comput. 5, No. 2, 83-94 (1991). MSC: 68Q60 68M10 PDFBibTeX XMLCite \textit{K. Paliwoda} and \textit{J. M. Sanders}, Distrib. Comput. 5, No. 2, 83--94 (1991; Zbl 0738.68057) Full Text: DOI
Pixley, Carl An incremental garbage collection algorithm for multi-mutator systems. (English) Zbl 0659.68040 Distrib. Comput. 3, No. 1, 41-50 (1988). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{C. Pixley}, Distrib. Comput. 3, No. 1, 41--50 (1988; Zbl 0659.68040) Full Text: DOI
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel Appraising fairness in languages for distributed programming. (English) Zbl 0659.68023 Distrib. Comput. 2, No. 4, 226-241 (1988). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{K. R. Apt} et al., Distrib. Comput. 2, No. 4, 226--241 (1988; Zbl 0659.68023) Full Text: DOI
Gjessing, Stein Semantics and verification of monitors and systems of monitors and processes. (English) Zbl 0659.68022 Distrib. Comput. 2, No. 4, 190-200 (1988). MSC: 68Q60 68N25 68Q65 PDFBibTeX XMLCite \textit{S. Gjessing}, Distrib. Comput. 2, No. 4, 190--200 (1988; Zbl 0659.68022) Full Text: DOI
Broy, Manfred Semantics of finite and infinite networks of concurrent communicating agents. (English) Zbl 0621.68012 Distrib. Comput. 2, 13-31 (1987). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Broy}, Distrib. Comput. 2, 13--31 (1987; Zbl 0621.68012) Full Text: DOI
He, Jifeng; Hoare, C. A. R. Algebraic specification and proof of a distributed recovery algorithm. (English) Zbl 0621.68008 Distrib. Comput. 2, 1-12 (1987). MSC: 68P05 68N25 68Q60 PDFBibTeX XMLCite \textit{J. He} and \textit{C. A. R. Hoare}, Distrib. Comput. 2, 1--12 (1987; Zbl 0621.68008) Full Text: DOI
Dijkstra, Edsger W. A belated proof of self-stabilization. (English) Zbl 0604.68015 Distrib. Comput. 1, 5-6 (1986). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{E. W. Dijkstra}, Distrib. Comput. 1, 5--6 (1986; Zbl 0604.68015) Full Text: DOI
Pnueli, Amir; Zuck, Lenore Verification of multiprocess probabilistic protocols. (English) Zbl 0598.68019 Distrib. Comput. 1, 53-72 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{A. Pnueli} and \textit{L. Zuck}, Distrib. Comput. 1, 53--72 (1986; Zbl 0598.68019) Full Text: DOI