منابع مشابه
Typing and Subtyping for Mobile Processes
The-calculus is a process algebra that supports process mobility by focusing on the communication of channels. Milner's presentation of the-calculus includes a type system assigning arities to channels and enforcing a corresponding discipline in their use. We extend Milner's language of types by distinguishing between the ability to read from a channel, the ability to write to a channel, and th...
متن کاملTyping and Subtyping Mobility in Boxed Ambients
We provide a novel type system for Bugliesi et al.’s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed ...
متن کاملABO, D blood typing and subtyping using plug-based microfluidics.
A plug-based microfluidic approach was used to perform multiple agglutination assays in parallel without cross-contamination and using only microliter volumes of blood. To perform agglutination assays on-chip, a microfluidic device was designed to combine aqueous streams of antibody, buffer, and red blood cells (RBCs) to form droplets 30-40 nL in volume surrounded by a fluorinated carrier fluid...
متن کاملSimplified restriction endonuclease method for typing and subtyping adenoviruses.
Restriction endonuclease digestion of viral DNA labelled in vivo with phosphorus-32 has been used to type and to subtype both conventional and enteric adenoviruses. The method is a modification of that already described for typing and subtyping herpes simplex virus and, like the latter, needs far less material than methods previously described.
متن کاملMultiplex Reverse Transcriptase-PCR Assay for Typing and Subtyping of Influenza A (H5 & H9) Virus in Iran
Avian influenza virus (AIV) infection is a major cause of bird or human mortality and morbidity, therefore the rapid identification of the virus is of important clinical and epidemiological implication. Methods: A multiplex Reverse Transcriptase PCR (RT-PCR) was optimized for the detection of influenza A virus and the H5 and H9 subtypes. The influenza type A specific primers were directed to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2017
ISSN: 2475-1421
DOI: 10.1145/3133871