14 citations · 26 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 14 cited
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
Hubert Garavel, Wendelin Serwe
The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We il…
cs.CR2017★ 4 cited
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
Hubert Garavel, Lina Marsso
We present a term rewrite system that formally models the Message Authenticator Algorithm (MAA), which was one of the first cryptographic functions for computing a Message Authenti…