Verifying a Sliding Window Protocol in μCRL

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-27815-3_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

The Sliding-Window Protocol Revisited

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1995English

Formal Modeling of Generalized Sliding Window Protocol in Promela Using Spin Root Model-Checker

International Journal of Computer Applications
2018English

Verifying Authentication Protocol Implementations

2002English

Resource Sharing in Continuous Sliding-Window Aggregates

2004English

Maintaining Frequent Closed Itemsets Over a Sliding Window

Journal of Intelligent Information Systems
Information SystemsComputer NetworksHardwareCommunicationsArchitectureArtificial IntelligenceSoftware
2007English

Verifying Sensor Network Security Protocol Implementations

English

Detection of Biomedical Signals Disruption Using a Sliding Window

Scientific journal of the Ternopil national technical university
2018English

Computing Diameter in the Streaming and Sliding-Window Models

Algorithmica
Applied MathematicsComputer Science ApplicationsComputer Science
2004English

Research on Sliding Window Uplink Frequency Domain Scheduling Scheme in LTE-A

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy