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

14 citations · 35 across the 7 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015★ 9 cited

Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard

Wendelin Serwe

This paper presents two formal models of the Data Encryption Standard (DES), a first using the international standard LOTOS, and a second using the more recent process calculus LNT…