Collaborated with:
R.v.Glabbeek P.Höfner
Talks about:
protocol (1) process (1) algebra (1) layer (1) link (1)
Person: Michael Markl
DBLP: Markl:Michael
Contributed to:
Wrote 1 papers:
- ESOP-2019-GlabbeekHM #algebra #process #protocol
- A Process Algebra for Link Layer Protocols (RvG, PH, MM), pp. 668–693.