Design and verification of long-running transactions in a timed framework
type: Item
instance of: scholarly article
title: Design and verification of long-running transactions in a timed framework
zbMATH Open document ID: 1170.68024
author: Ruggero Lanotte
author: Andrea Maggiolo-Schettini
author: Paolo Milazzo
author: Angelo Troina
published in: Science of Computer Programming
publication date: 2008-11-20T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5369878
zbMATH Keywords: hierarchical timed automata
zbMATH Keywords: long-running transactions
zbMATH Keywords: compensations
zbMATH Keywords: model checking
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: j.scico.2008.07.001
OpenAlex ID: W2150977952
DOI: 10.1016/J.SCICO.2008.07.001
description: scientific article; zbMATH DE number 5369878