A process algebra for link layer protocols

DOI10.1007/978-3-030-17184-1_24zbMath1524.68224arXiv1907.13329OpenAlexW3100584095MaRDI QIDQ6070802

Michael Markl, Robert J. van Glabbeek, Peter Höfner

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.13329

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A process algebra for link layer protocols