Reo Primitives Sample Clauses

Reo Primitives. Reo is a coordination language which is based on a calculus of channels [13, 14, 19, 30]. By using Reo specifications, complex component connectors can be organized in a network of channels and build in a compositional manner. The simplest connectors in Reo are a set of channels with well-defined behavior supplied by users. Reo can be used as a coordination language for concurrent processes or as a ”glue language” for compositional construction of connectors that orchestrate component instances in a component based system. The empha- sis in Reo is on connectors and their composition only, not on the entities that connect to, communicate and cooperate through these connectors. Reo uses a simple notion of channels and can model any kind of peer-to-peer communica- tion. The only requirements for a channel used in a Reo network are that the channel should have two channel ends, called as sink or source ends, and a well-defined semantics which constraints or relates the flow of data through these ends. At a source end data items enter the channel by performing corresponding write operations. Data items are received from a channel at its sink end by performing corresponding read operations. Reo allows for an open ended set of channel types with user defined semantics. Some primitive channels relevant for this thesis are shown in Figure 3.1 by their graphical representations. Every synchronous or FIFO channel has a source and a sink end. A synchronous channel (abbreviated by Sync) has no buffer and accepts a data item through its source end if and only if it can simultaneously dispense it through its sink. A FIFO1 channel is represented graphically by a small box in the middle of an arrow. Writing a data item at the source end of a FIFO1 is enabled as long as the buffer is empty. The effect of writing d is that d will be stored in the buffer. Reading at the sink end is enabled if the buffer is full, in which case the data item is taken off from the buffer. FIFO channels with two or more buffer cells can be produced by composing several FIFO1 channels [30]. A lossy synchronous channel (abbreviated as LossySync) is similar to synchronous chan- nel, except that it always accepts all data items through its source end. If it is possible for it to simultaneously dispense the data item through its sink (e.g. there is a take operation pending on its sink) the channel transfers the data item, otherwise the data item is lost. For a
Sample 1
AutoNDA by SimpleDocs

Related to Reo Primitives

  • Provider Selection To the extent applicable to Provider in performance of the Agreement, Provider shall comply with 42 CFR 438.214, as may be amended from time to time, which includes, but is not limited to the selection and retention of providers, credentialing and recredentialing requirements and nondiscrimination. If Subcontractor and/or Health Plan delegate credentialing to Provider, Subcontractor and/or Health Plan will provide monitoring and oversight and Provider shall ensure that all licensed medical professionals are credentialed in accordance with Health Plan’s and the State Contract’s credentialing requirements.

  • Loans The Sponsor has agreed to make loans to the Company in the aggregate amount of up to $300,000 (the “Insider Loans”) pursuant to a promissory note substantially in the form annexed as an exhibit to the Registration Statement. The Insider Loans do not bear any interest and are repayable by the Company on the earlier of December 31, 2021 or the consummation of the Offering.

  • Assuming Bank’s Liquidation of Remaining Single Family Shared-Loss Loans In the event that the Assuming Bank does not conduct a Portfolio Sale pursuant to Section 4.1, the Receiver shall have the right, exercisable in its sole and absolute discretion, to require the Assuming Bank to liquidate for cash consideration, any Single Family Shared-Loss Loans held by the Assuming Bank at any time after the date that is six months prior to the Termination Date. If the Receiver exercises its option under this Section 4.2, it must give notice in writing to the Assuming Bank, setting forth the time period within which the Assuming Bank shall be required to liquidate the Single Family Shared-Loss Loans. The Assuming Bank will comply with the Receiver’s notice and must liquidate the Single Family Shared-Loss Loans as soon as reasonably practicable by means of sealed bid sales to third parties, not including any of the Assuming Bank’s affiliates, contractors, or any affiliates of the Assuming Bank’s contractors. The selection of any financial advisor or other third party broker or sales agent retained for the liquidation of the remaining Single Family Shared-Loss Loans pursuant to this Section shall be subject to the prior approval of the Receiver, such approval not to be unreasonably withheld, delayed or conditioned.

  • Cooperation in Loss Recovery Efforts In the event of any damages for which Bank or Customer may be liable to each other or to a third party pursuant to the services provided under this Agreement, Bank and Customer will undertake reasonable efforts to cooperate with each other, as permitted by applicable law, in performing loss recovery efforts and in connection with any actions that the relevant party may be obligated to defend or elects to pursue against a third party.

  • Assuming Bank Portfolio Sales of Remaining Single Family Shared-Loss Loans The Assuming Bank shall have the right with the concurrence of the Receiver to liquidate for cash consideration, from time to time in one or more transactions, all or a portion of Single Family Shared-Loss Loans held by the Assuming Bank at any time prior to the Termination Date (“Portfolio Sales”). If the Assuming Bank exercises its option under this Section 4.1, it must give thirty (30) days notice in writing to the Receiver setting forth the details and schedule for the Portfolio Sale which shall be conducted by means of sealed bid sales to third parties, not including any of the Assuming Bank’s affiliates, contractors, or any affiliates of the Assuming Bank’s contractors. Sales of Restructured Loans shall be sold in a separate pool from Single Family Shared-Loss Loans not restructured. The Receiver’s review of the Assuming Bank’s proposed Portfolio Sale will be considered in a timely fashion and approval will not be unreasonably withheld, delayed or conditioned.

  • Assuming Institution Portfolio Sales of Remaining Shared-Loss Loans The Assuming Institution shall have the right, with the consent of the Receiver, to liquidate for cash consideration, from time to time in one or more transactions, all or a portion of Shared-Loss Loans held by the Assuming Institution at any time prior to the Termination Date (“Portfolio Sales”). If the Assuming Institution exercises its option under this Section 4.1, it must give sixty

  • Required Coverages For Generation Resources Of 20 Megawatts Or Less Each Constructing Entity shall maintain the types of insurance as described in section 11.1 paragraphs (a) through (e) above in an amount sufficient to insure against all reasonably foreseeable direct liabilities given the size and nature of the generating equipment being interconnected, the interconnection itself, and the characteristics of the system to which the interconnection is made. Additional insurance may be required by the Interconnection Customer, as a function of owning and operating a Generating Facility. All insurance shall be procured from insurance companies rated “A-,” VII or better by AM Best and authorized to do business in a state or states in which the Interconnection Facilities are located. Failure to maintain required insurance shall be a Breach of the Interconnection Construction Service Agreement.

  • SPECIALIZED JOB CLASSES Where there is a particular specialized job class in which the pay rate is below the local market value assessment of that job class, the parties may use existing means under the collective agreement to adjust compensation for that job class.

  • Student Tuition Recovery Fund “The State of California established the Student Tuition Recovery Fund (STRF) to relieve or mitigate economic loss suffered by a student in an educational program at a qualifying institution, who is or was a California resident while enrolled, or was enrolled in a residency program, if the student enrolled in the institution, prepaid tuition, and suffered an economic loss. Unless relieved of the obligation to do so, you must pay the state-imposed assessment for the STRF, or it must be paid on your behalf, if you are a student in an educational program, who is a California resident, or are enrolled in a residency program, and prepay all or part of your tuition. You are not eligible for protection from the STRF, and you are not required to pay the STRF assessment, if you are not a California resident, or are not enrolled in a residency program.”

  • Innovative/Flexible Scheduling Where the Hospital and the Union agree, arrangements regarding Innovative Scheduling/Flexible Scheduling may be entered into between the parties on a local level. The model agreement with respect to such scheduling arrangements is set out below: MODEL AGREEMENT WITH RESPECT TO INNOVATIVE SCHEDULING/FLEXIBLE SCHEDULING MEMORANDUM OF AGREEMENT Between: The Hospital - And: The Ontario Public Service Employees Union (and its Local ) This Model Agreement shall be part of the Collective Agreement between the parties herein, and shall apply to the employees described in Article 1 of the Model Agreement.

Time is Money Join Law Insider Premium to draft better contracts faster.