Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker Automated test case generation for the paxos single-decree protocol using a coloured Petri net model. (English) Zbl 1423.68319 J. Log. Algebr. Methods Program. 104, 254-273 (2019). MSC: 68Q85 68M12 68M14 68N30 PDF BibTeX XML Cite \textit{R. Wang} et al., J. Log. Algebr. Methods Program. 104, 254--273 (2019; Zbl 1423.68319) Full Text: DOI
Jehl, Leander; Meling, Hein The case for reconfiguration without consensus: comparing algorithms for atomic storage. (English) Zbl 1432.68034 Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 31, 17 p. (2017). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{L. Jehl} and \textit{H. Meling}, LIPIcs -- Leibniz Int. Proc. Inform. 70, Article 31, 17~p. (2017; Zbl 1432.68034) Full Text: DOI
Montresor, Alberto; Meling, Hein; Babaoğlu, Özalp Messor: Load-balancing through a swarm of autonomous agents. (English) Zbl 1023.68805 Moro, Gianluca (ed.) et al., Agents and peer-to-peer computing. First international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002. Revised and invited papers. Berlin: Springer. Lect. Notes Comput. Sci. 2530, 125-137 (2003). MSC: 68U99 68T35 68M14 PDF BibTeX XML Cite \textit{A. Montresor} et al., Lect. Notes Comput. Sci. 2530, 125--137 (2003; Zbl 1023.68805) Full Text: Link
Montresor, Alberto; Meling, Hein; Babaoğlu, Özalp Toward self-organizing, self-repairing and resilient distributed systems. (English) Zbl 1018.68764 Schiper, André (ed.) et al., Future directions in distributed computing. Research and position papers. Berlin: Springer. Lect. Notes Comput. Sci. 2584, 119-123 (2003). MSC: 68U99 68M14 PDF BibTeX XML Cite \textit{A. Montresor} et al., Lect. Notes Comput. Sci. 2584, 119--123 (2003; Zbl 1018.68764) Full Text: Link
Montresor, Alberto; Meling, Hein; Babaoğlu, Özalp Towards adaptive, resilient and self-organizing peer-to-peer systems. (English) Zbl 1049.68816 Gregori, Enrico (ed.) et al., Web engineering and Peer-to-Peer computing. NETWORKING 2002 workshops, Pisa, Italy, May 19–24, 2002. Revised papers. Berlin: Springer (ISBN 3-540-44177-8). Lect. Notes Comput. Sci. 2376, 300-305 (2002). MSC: 68U99 68M10 PDF BibTeX XML Cite \textit{A. Montresor} et al., Lect. Notes Comput. Sci. 2376, 300--305 (2002; Zbl 1049.68816) Full Text: Link