65 citations · 340 across the 42 of their papers we have counts for
3 papers · 1 filter
Cell crawling on a compliant substrate: a biphasic relation with linear friction
H. Chelly, A. Jahangiri, M. Mireux +4
A living cell actively generates traction forces on its environment with its actin cytoskeleton. These forces deform the cell elastic substrate which, in turn, affects the traction…
Zooid: a DSL for Certified Multiparty Computation
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri +1
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous m…
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida +1
Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally describe…