Model checking a cache coherence protocol of a Java DSM implementation
type: Item
instance of: scholarly article
title: Model checking a cache coherence protocol of a Java DSM implementation
zbMATH Open document ID: 1106.68013
author: Jun Pang
author: Rutger Hofman
author: Ronald Veldema
author: Wan Fokkink
published in: The Journal of Logic and Algebraic Programming
publication date: 2007-02-09T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5123665
zbMATH Keywords: formal specification
zbMATH Keywords: model checking
zbMATH Keywords: cache coherence protocols
zbMATH Keywords: Java memory model
zbMATH Keywords: \(\mu\)CRL
MaRDI profile type: Publication
full work available at URL: j.jlap.2006.08.007
OpenAlex ID: W2112832542
cites work: Process Algebra
cites work: Verification of a sliding window protocol in \(\mu\) CRL and PVS
cites work: Q4551157
cites work: Distributed branching bisimulation reduction of state spaces
cites work: Formal stystems specification. The RPC-memory specification case study
cites work: Q2754073
cites work: Q3122694
cites work: Analysis of a distributed system for lifting trucks.
cites work: Linearization in parallel pCRL
cites work: Algebraic process verification.
cites work: Q4818798
cites work: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
cites work: Specification of abstract data types
cites work: Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
cites work: Q4738200
cites work: Fairness and related properties in transition systems - a temporal logic to deal with fairness
cites work: Q2763961
DOI: 10.1016/J.JLAP.2006.08.007
description: scientific article; zbMATH DE number 5123665