A Prospectus for Mobile Broadcasting Systems (Q5262975): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4934334 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An application of co-inductive types in Coq: Verification of the alternating bit protocol / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Bisimulations for a calculus of broadcasting systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A framework for security analysis of mobile wireless networks / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Broadcast Calculus Interpreted in CCS upto Bisimulation / rank | |||
Normal rank | |||
Revision as of 11:39, 10 July 2024
scientific article; zbMATH DE number 6457608
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Prospectus for Mobile Broadcasting Systems |
scientific article; zbMATH DE number 6457608 |
Statements
A Prospectus for Mobile Broadcasting Systems (English)
0 references
10 July 2015
0 references
process calculus
0 references
broadcast communication
0 references
process mobility
0 references
ethernet
0 references
GALS
0 references
0 references
