Wendelin Serwe - Inria

Wendelin Serwe
Are you Wendelin Serwe?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Wendelin Serwe
Affiliation
Inria
Location

Pubs By Year

Pub Categories

 
Computer Science - Cryptography and Security (1)
 
Computer Science - Logic in Computer Science (1)
 
Computer Science - Distributed; Parallel; and Cluster Computing (1)
 
Computer Science - Programming Languages (1)

Publications Authored By 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 illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous. Read More

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. Both models encode the DES in the style of asynchronous circuits, i.e. Read More