This paper proposes a new theory of multiparty session types with assertions based on symmetric sum types and demonstrates its applicability to collaborative workflows in healthcare systems for clinical practice guidelines (CPGs). The theory leads to a model-driven implementation of a prototype tool for CPGs which automatically generates deadlock-free distributed programs from user-friendly dec...

Generalization of the release process through the wax matrix layer was examined by use of a reservoir device tablet. The wax matrix layer of the reservoir device tablet was prepared from a physical mixture of lactose and hydrogenated castor oil to simplify the release properties. Release through the wax matrix layer showed zero-order kinetics in a steady state after a given lag time, and could ...

Matrix tablets are drug delivery devices designed to release a drug in a controlled manner over an extended period of time. We develop a cellular automaton (CA) model for the dissolution and release of a water-soluble drug and excipient from a matrix tablet of water-insoluble polymer. Cells of the CA are occupied by drug, excipient, water or polymer and the CA updating rules simulate the dissol...

A novel abuse deterrent, prolonged release tablet formulation of Hydrocodone for once-daily dosing has been developed, based on the novel proprietary Egalet® ADPREM technology. The tablet is an injection molded polymer system consisting of an erodible matrix in which the Active Pharmaceutical Ingredient (API), such as Hydrocodone, is dispersed. The matrix is partly covered with a water-impermea...

The antioxidant properties of different low molecular weight (LMW) chitosans (CS1; 22 kDa, CS2; 38 kDa, CS3; 52 kDa, CS4; 81 kDa) were examined for possible use in extended-release tablets. The criteria used were the ability of the chitosans to reduce Cu2+, and hydroxyl and superoxide radicals and N-centered radicals derived from 1,1'-diphenyl-2-picrylhydrazyl, via the use of ESR spectrometry. ...

The dissolution characteristics of pharmaceutical tablets are key to determining the bioavailability of the active pharmaceutical ingredient (API) and it is therefore vital to understand the physical processes that affect drug release. As well as the API, tablets also consist of a supporting polymer matrix (known as the excipient) and other compounds such as fillers, binders, lubricants etc. Th...

In previous publications from this laboratory we suggested the use of radioprotective drugs in a sustained-release form as a practical way to cope with their high toxicity and quick metabolism and excretion. Cysteine and cysteamine, well-established radioprotectants, were used as model drugs and compressed at various concentrations (0-65%) into an insoluble tablet matrix, composed of ethylcellu...

The objective of present work is to develop and characterize an oral sustained release matrix tablet of complexedNicardipine Hydrochloride by employing hydrophilic and hydrophilic polymers. Due to poor water solubility of the drug its bioavailability is dissolution rate limited. The purpose of the study was to increase the solubility of Nicardipine by cyclodextrin inclusion complex technique. C...