DLC

swMATH19394MaRDI QIDQ31221FDOQ31221

Author name not available (Why is that?)

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 (3)

• Encoding CSP into CCS
• LNT2LOTOS
• XTL

This page was built for software: DLC