Variable-state-trigger: un modelo formal de contratos inteligentes basado en respuesta condicional y autómatas de estado finito y su aplicación
Autores: Liu, Shangqi; Xu, Yuntao; Yang, Xingyu; Hui, Bozhi; Hu, Feng
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Variable-state-trigger: un modelo formal de contratos inteligentes basado en respuesta condicional y autómatas de estado finito y su aplicación
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Contratos inteligentes
Modelo formal
Sistemas de blockchain
Procesos dinámicos
Respuestas condicionales
Organizaciones autónomas descentralizadas
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 30
Citaciones: Sin citaciones
Como uno de los elementos técnicos que respaldan la cadena de bloques para realizar organizaciones autónomas descentralizadas, los contratos inteligentes son cruciales para comprender las propiedades inherentes de los sistemas de cadena de bloques a través de investigaciones formales.
Descripción
Como uno de los elementos técnicos que respaldan la cadena de bloques para realizar organizaciones autónomas descentralizadas, los contratos inteligentes son cruciales para comprender las propiedades inherentes de los sistemas de cadena de bloques a través de investigaciones formales.