Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
type: Item
instance of: scholarly article
title: Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
zbMATH Open document ID: 1342.68205
author: M. Calder
author: Michele Sevegnani
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 6609441
zbMATH Keywords: 802.11 protocol
zbMATH Keywords: formal verification
zbMATH Keywords: quantitative analysis
zbMATH Keywords: reactive systems
zbMATH Keywords: stochastic bigraphs
Wikidata QID: Q29544202
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: s00165-012-0270-3
OpenAlex ID: W2049318064
cites work: Model-checking continuous-time Markov chains
cites work: Term-rewriting systems with rule priorities
cites work: The Birth of Model Checking
cites work: Automata, Languages and Programming
cites work: Bigraphs with sharing
cites work: Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
cites work: Stochastic Bigraphs
cites work: Q4813204
cites work: The Space and Motion of Communicating Agents
DOI: 10.1007/S00165-012-0270-3
description: scientific article; zbMATH DE number 6609441