Skip to content

A Process Algebra for Link Layer Protocols.

Rob van Glabbeek, Peter Hfner, Michael Markl

VenueAESOP
Year2019
ProceedingsESOP

Browse the full ESOP paper archive.