Mechanizing a process algebra for network protocols (Q287372)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6585636
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mechanizing a process algebra for network protocols |
scientific article; zbMATH DE number 6585636 |
Statements
Mechanizing a process algebra for network protocols (English)
0 references
26 May 2016
0 references
interactive theorem proving
0 references
Isabelle/HOL
0 references
process algebra
0 references
compositional invariant proofs
0 references
wireless mesh networks
0 references
mobile ad hoc networks
0 references
0 references
0.9566339254379272
0 references
0.7479236721992493
0 references
0.7202320098876953
0 references
0.7193798422813416
0 references
0.7172366976737976
0 references
