663 followers
One of the things that came out of it was this article at @ETAPSconf, where we made a theory and algorithm to infer the choreography (protocol) implemented by a network of processes (in a proc. calculus). >> https://t.co/bW5Bv4hxZH
One of the things that came out of it was this article at @ETAPSconf, where we made a theory and algorithm to infer the choreography (protocol) implemented by a network of processes (in a proc. calculus). >> https://t.co/bW5Bv4hxZH
The Paths to Choreography Extraction https://t.co/91xNmPXDrT