To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .

To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services
Please confirm that you accept the terms of use.

Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects. Iris was designed with the express goal of simplifying and consolidating the foundations of modern separation logics, but it has evolved over time, and the design and semantic foundations of Iris itself have yet to be fully written down and explained together properly in one place. Here, we attempt to fill this gap, presenting a reasonably complete picture of the latest version of Iris (version 3.1), from first principles and in one coherent narrative.

The degradation behavior of biodegradable multiblock copolymers (PDC) containing poly(p-dioxanone) hard segments (PPDO) and crystallizable poly(epsilon-caprolactone) switching segments (PCL) synthesized via co-condensation of two oligomeric macrodiols with an aliphatic diisocyanate as junction unit was explored in in vivo and in vitro experiments. The in vitro experiments for enzymatic degradation resulted that the poly(epsilon-caprolactone) segments are degraded faster, than the poly(p-dioxanone) segments. During degradation the outer layer of the test specimen becomes porous. Finally non-soluble degradation products in form of particles were found at the surface. This observation is in good agreement with the in vivo studies, where the non-soluble degradation products in the periimplantary tissues showed a diameter of 1 – 3 micron.

Recommend this

Email your librarian or administrator to recommend adding this to your organisation's collection.