Analysis of a distributed system for lifting trucks.

DOI10.1016/S1567-8326(02)00038-3zbMath1048.68055OpenAlexW4210244182MaRDI QIDQ1400154

A. G. Wouters, Jan Friso Groote, Jun Pang

Publication date: 13 August 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00038-3

zbMATH Keywords

Process algebraSpecificationModel checking\(\mu_{\text{CRL}}\)Protocol verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Model checking a cache coherence protocol of a Java DSM implementation ⋮ Unnamed Item ⋮ Search algorithms for automated validation

Uses Software

• CADP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Confluence for process verification
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Process Algebra
• The parallel composition of uniform processes with data

This page was built for publication: Analysis of a distributed system for lifting trucks.