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

From MaRDI portal
(Redirected from Publication:516036)