We present an algorithm to decide the equivalence of context-free session types, practical to the point of being incorporated in a compiler. We prove its soundness and completeness. We further evaluate its behaviour in practice. In the process, we introduce an algorithm to decide the bisimilarity of simple grammars.

No abstract

No abstract

Liposome-like nanoarchitectures containing manganese ferrite nanoparticles covered or decorated with gold were developed for application in dual cancer therapy, combining chemotherapy and photothermia. The magnetic/plasmonic nanoparticles were characterized using XRD, UV/Visible absorption, HR-TEM, and SQUID, exhibiting superparamagnetic behavior at room temperature. The average size of the gold-decorated nanoparticles was 26.7 nm for MnFe2O4 with 5–7 nm gold nanospheres. The average size of the core/shell nanoparticles was 28.8 nm for the magnetic core and around 4 nm for the gold shell. Two new potential antitumor fluorescent drugs, tricyclic lactones derivatives of thienopyridine, were loaded in these nanosystems with very high encapsulation efficiencies (higher than 98%). Assays in human tumor cell lines demonstrate that the nanocarriers do not release the antitumor compounds in the absence of irradiation. Moreover, the nanosystems do not cause any effect on the growth of primary (non-tumor) cells (with or without irradiation). The drug-loaded systems containing the core/shell magnetic/plasmonic nanoparticles efficiently inhibit the growth of tumor cells when irradiated with red light, making them suitable for a triggered release promoted by irradiation.

FREEST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creation and communication. A powerful type system of context-free session types governs the interaction on channels. The compiler builds on a novel algorithm for deciding type equivalence of context-free session types. This abstract provides a gentle introduction to the language and discusses the validation process and runtime system.