Cargando…
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Building network-connected programs and distributed systems is a powerful way to provide scalability and availability in a digital, always-connected era. However, with great power comes great complexity. Reasoning about distributed systems is well-known to be difficult. In this paper we present Aner...
Autores principales: | Krogh-Jespersen, Morten, Timany, Amin, Ohlenbusch, Marit Edna, Gregersen, Simon Oddershede, Birkedal, Lars |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702244/ http://dx.doi.org/10.1007/978-3-030-44914-8_13 |
Ejemplares similares
-
Mechanised Modal Model Theory
por: Xu, Yiming, et al.
Publicado: (2020) -
SIS procedures and processes: their mechanisation and development
por: Coblans, H
Publicado: (1966) -
Fuzzy sets, logics and reasoning about knowledge
por: Dubois, Didier, et al.
Publicado: (1999) -
Logic in computer science: modelling and reasoning about systems
por: Huth, Michael, et al.
Publicado: (2004) -
Inter–laboratory precision and relative accuracy of mechanised and nonmechanised systems for blood gas analysis
por: Feuillu, Alain, et al.
Publicado: (1980)