Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68383OpenAlexW2973096144MaRDI QIDQ5312977FDOQ5312977

Authors: Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol, Wan Fokkink 

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98770

Recommendations

• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• scientific article; zbMATH DE number 1956576
• An incremental specification of the sliding-window protocol
• The sliding-window protocol revisited
• Specification and verification of the classical sliding window protocol

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (7)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Title not available (Why is that?)
• Cones and foci: A mechanical framework for protocol verification
• Specification and verification of the classical sliding window protocol
• An incremental specification of the sliding-window protocol
• From \(\mu\)CRL to mCRL2: motivation and outline
• Verification of a sliding window protocol in \(\mu\) CRL and PVS

Uses Software

• PVS

This page was built for publication: Algebraic Methodology and Software Technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312977)