Published in: LITES, Volume 4, Issue 1 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 1
Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, and José Meseguer. Quantitative Analysis of Consistency in NoSQL Key-Value Stores. In LITES, Volume 4, Issue 1 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 1, pp. 03:1-03:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{liu_et_al:LITES-v004-i001-a003, author = {Liu, Si and Ganhotra, Jatin and Rahman, Muntasir Raihan and Nguyen, Son and Gupta, Indranil and Meseguer, Jos\'{e}}, title = {{Quantitative Analysis of Consistency in NoSQL Key-Value Stores}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {03:1--03:26}, ISSN = {2199-2002}, year = {2017}, volume = {4}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a003}, doi = {10.4230/LITES-v004-i001-a003}, annote = {Keywords: NoSQL Key-value Store, Consistency, Statistical Model Checking, Rewriting Logic, Maude} }
Published in: LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Kyungmin Bae, Santiago Escobar, and José Meseguer. Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 21, pp. 81-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{bae_et_al:LIPIcs.RTA.2013.81, author = {Bae, Kyungmin and Escobar, Santiago and Meseguer, Jos\'{e}}, title = {{Abstract Logical Model Checking of Infinite-State Systems Using Narrowing}}, booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)}, pages = {81--96}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-53-8}, ISSN = {1868-8969}, year = {2013}, volume = {21}, editor = {van Raamsdonk, Femke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.81}, URN = {urn:nbn:de:0030-drops-40554}, doi = {10.4230/LIPIcs.RTA.2013.81}, annote = {Keywords: model checking, infinite states, rewrite theories, narrowing} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli. Specification of Distributed Information Systems (Dagstuhl Seminar 00081). Dagstuhl Seminar Report 266, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
@TechReport{ehrich_et_al:DagSemRep.266, author = {Ehrich, Hans-Dieter and Goltz, Ursula and Meseguer, Jos\'{e} and Pnueli, Amir}, title = {{Specification of Distributed Information Systems (Dagstuhl Seminar 00081)}}, pages = {1--32}, ISSN = {1619-0203}, year = {2001}, type = {Dagstuhl Seminar Report}, number = {266}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.266}, URN = {urn:nbn:de:0030-drops-151515}, doi = {10.4230/DagSemRep.266}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer. Information Systems as Reactive Systems (Dagstuhl Seminar 98071). Dagstuhl Seminar Report 200, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)
@TechReport{ehrich_et_al:DagSemRep.200, author = {Ehrich, Hand-Dieter and Goltz, Ursula and Meseguer, Jos\'{e}}, title = {{Information Systems as Reactive Systems (Dagstuhl Seminar 98071)}}, pages = {1--31}, ISSN = {1619-0203}, year = {1998}, type = {Dagstuhl Seminar Report}, number = {200}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.200}, URN = {urn:nbn:de:0030-drops-150860}, doi = {10.4230/DagSemRep.200}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9628). Dagstuhl Seminar Report 151, pp. 1-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)
@TechReport{ehrig_et_al:DagSemRep.151, author = {Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin}, title = {{Specification and Semantics (Dagstuhl Seminar 9628)}}, pages = {1--38}, ISSN = {1619-0203}, year = {1996}, type = {Dagstuhl Seminar Report}, number = {151}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.151}, URN = {urn:nbn:de:0030-drops-150387}, doi = {10.4230/DagSemRep.151}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9321). Dagstuhl Seminar Report 64, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)
@TechReport{ehrig_et_al:DagSemRep.64, author = {Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin}, title = {{Specification and Semantics (Dagstuhl Seminar 9321)}}, pages = {1--23}, ISSN = {1619-0203}, year = {1994}, type = {Dagstuhl Seminar Report}, number = {64}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.64}, URN = {urn:nbn:de:0030-drops-149527}, doi = {10.4230/DagSemRep.64}, }
Feedback for Dagstuhl Publishing