scholarly journals A Hybrid Type System for Lock-Freedom of Mobile Processes

2008 ◽  
pp. 80-93 ◽  
Author(s):  
Naoki Kobayashi ◽  
Davide Sangiorgi
Keyword(s):  
Type System ◽  
Hybrid Type ◽  
Mobile Processes

scholarly journals A hybrid type system for lock-freedom of mobile processes

2010 ◽  
Vol 32 (5) ◽  
pp. 1-49 ◽  
Author(s):  
Naoki Kobayashi ◽  
Davide Sangiorgi
Keyword(s):  
Type System ◽  
Hybrid Type ◽  
Mobile Processes

Typing and subtyping for mobile processes

1996 ◽  
Vol 6 (5) ◽  
pp. 409-453 ◽  
Author(s):  
Benjamin Pierce ◽  
Davide Sangiorgi
Keyword(s):  
Process Algebra ◽  
Operational Semantics ◽  
Type System ◽  
Higher Order ◽  
Order Process ◽  
Process Calculi ◽  
Mobile Processes

The π-calculus is a process algebra that supports 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 the ability both to read and to write. This refinement gives rise to a natural subtype relation similar to those studied in typed λ-calculi. The greater precision of our type discipline yields stronger versions of standard theorems on the π-calculus. These can be used, for example, to obtain the validity of β-reduction for the more efficient of Milner's encodings of the call-by-value λ-calculus, which fails in the ordinary π-calculus. We define the syntax, typing, subtyping, and operational semantics of our calculus, prove that the typing rules are sound, apply the system to Milner's λ-calculus encodings, and sketch extensions to higher-order process calculi and polymorphic typing.

Hybrid - type system of power supply for a trolleybus with an asynchronous motor

2008 ◽  
Author(s):  
Zygmunt Gizinski ◽  
Marcin Gasiewski ◽  
Ireneusz Mascibrodzki ◽  
Michal Zych ◽  
Krzysztof Zymmer ◽  
...  
Keyword(s):  
Power Supply ◽  
Asynchronous Motor ◽  
Type System ◽  
Hybrid Type

Ultrastructural characteristics of sporidia of Ustilago

1989 ◽  
Vol 47 ◽  
pp. 786-787
Author(s):  
Patricia N. Hackney
Keyword(s):  
Electron Microscope ◽  
Type System ◽  
Tube Formation ◽  
High Voltage Electron Microscopy ◽  
Voltage Electron ◽  
University Of Wisconsin ◽  
Transmission Electron ◽  
Ustilago Hordei ◽  
Silene Alba ◽  
The University

Ustilago hordei and Ustilago violacea are yeast-like basidiomycete pathogens ofHordeum vulgare and Silene alba respectively. The mating type system in both species of Ustilago is bipolar, with alleles, A,a, (U.hordei) and a1, a2 (U.violacea) at a single locus. Haploid sporidia maintain the asexual phase by budding, while the sexual phase is initiated by conjugation tube formation between the mating types during budding and conjugation.For observation of budding, sporidia were prepared by culturing the four types on YEG (yeast extract glucose) broth for 24 hours. After centrifugation at 5000g cells were either left unmated or mated in a1/a2,A/a combinations. The sporidia were then mixed 1:1 with 4% agar and the resulting 1mm cubes fixed in 8% gluteraldehyde and post fixed in osmium tetroxide. After dehydration and embedding cubes were thin sectioned with a LKB ultratome and photographed in a Zeiss 9s transmission electron microscope or in an AE1 electron microscope of MK11 1MEV at the High Voltage Electron Microscopy Center of the University of Wisconsin-Madison.

Hybrid Type 1 & 2 Diabetes Emerging in Pediatric Patients

2006 ◽  
Vol 36 (2) ◽  
pp. 31
Author(s):  
ROBERT FINN
Keyword(s):  
Pediatric Patients ◽  
Hybrid Type

Thermal comfort conditions in a classroom conditioned by a split-type system

2017 ◽  
Author(s):  
Rogério Vilain ◽  
Marcelo Pereira ◽  
Nathan Mendes ◽  
katia cordeiro ◽  
anastacio da silva junior
Keyword(s):  
Thermal Comfort ◽  
Type System
Sign in / Sign up

Export Citation Format

Share Document