activity
20172026
most citedThe Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

14 citations · 26 across the 10 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024★ 2 cited

Four Formal Models of IEEE 1394 Link Layer

Hubert Garavel, Bas Luttik

We revisit the IEEE 1394 high-performance serial bus ("FireWire"), which became a success story in formal methods after three PhD students, by using process algebra and model check…