Verifying a distributed list system: A case history

DOI10.1007/BF01212527zbMath0868.68010MaRDI QIDQ1355754

Olav Lysne, Stein Krogdahl

Publication date: 28 May 1997

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

caching protocolshared memory parallel computers

Mathematics Subject Classification ID

Computer system organization (68M99)

Uses Software

• LARCH
• OBJ3
• NQTHM
• UNITY

Cites Work

• Generator induction in order sorted algebras
• Conditional rewriting logic as a unified model of concurrency
• Axiomatic treatment of processes with shared variables revisited
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A calculus of mobile processes. I
• Verification of a class of link-level protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verifying a distributed list system: A case history