Partial updates

DOI10.1016/j.tcs.2004.11.010zbMath1080.68020OpenAlexW2913823424MaRDI QIDQ555785

Nikolai Tillmann, Yuri Gurevich

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.010

zbMATH Keywords

TransactionsAbstract state machinesApplicative algebraAsmLParallel compositionSequencesUpdates

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (2)

Concurrent abstract state machines ⋮ Composing model programs for analysis

Uses Software

• AsmL
• Word

Cites Work

• Unnamed Item
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide

This page was built for publication: Partial updates