DLC

MaRDI QIDQ31221swMATHFDO

Official website http://hevrard.org/DLC/

Described by source

• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

Cited in

(5)

• Encoding CSP into CCS
• SCADE
• TIMES
• LNT2LOTOS
• XTL

This page was built for software: DLC