I/O Channels Sample Clauses

I/O Channels. Every channel in P is either an input channel or an output channel. Formally, we say a channel c is an I/O channel if there exists two functions, inputs(c, P ) and outputs(c, P ), for every process P, such that: – inputs(c, P ) ∪ outputs(c, P ) ⊆ {| c |}, and – inputs(c, P ) ∩ outputs(c, P ) = ∅. × Formally, the two functions map pairs CHANNEL PROCESS to a set of events.
Sample 1
AutoNDA by SimpleDocs
I/O Channels. Every channel in P is either an input channel or an output channel. Formally, we say a channel c is an I/O channel if there exists two functions, inputs(c, P ) and outputs(c, P ), for every process P, such that: – inputs(c, P ) ∪ outputs(c, P ) ⊆ {| c |}, and – inputs(c, P ) ∩ outputs(c, P ) = ∅. × Formally, the two functions map pairs CHANNEL PROCESS to a set of events. In Appendix H, we present a full type-checked Z formal- isation of our compositional model. • Infinite Traces. P has an infinite set of traces (but finite state-space); • Divergence-freedom. P is divergence-free; •
Sample 1
I/O Channels. ‌ The assertion related to I/O channels is similar but is characterised in a differ- ent manner because functions inputs and outputs return channels, not events, and hence cannot be used in RUN. Its characterisation test uses two auxiliary processes: ERROR = error -> SKIP and Test(c) = not c & ERROR. This assertion is only satisfied if the condition is true.
Sample 1

Related to I/O Channels

  • Territories The Agreement territory is limited to the United States of America, including the District of Columbia, only. It does not include Canada or U.S. Territories including Guam, Puerto Rico, or U.S. Virgin Islands.

  • Leave of Absence for Full-Time Union or Public Duties An employee who is elected or selected for a full-time position with the Union or anybody with which the Union is affiliated, or who is elected to public office, shall be granted leave of absence without pay and without loss of seniority.

  • GEOGRAPHIC AREA AND SECTOR SPECIFIC ALLOWANCES, CONDITIONS AND EXCEPTIONS The following allowances and conditions shall apply where relevant: Where the company does work which falls under the following headings, the company agrees to pay and observe the relevant respective conditions and/or exceptions set out below in each case.

  • Requirements Pertaining Only to Federal Grants and Subrecipient Agreements If this Agreement is a grant that is funded in whole or in part by Federal funds:

  • Restricted Activities The Executive agrees that some restrictions on his activities during and after his employment are necessary to protect the goodwill, Confidential Information and other legitimate interests of the Company and its Affiliates:

  • Geographic Location .. The Buyer hereby warrants that the Buyer is not a party to a buyer representation agreement with any other registered real estate brokerage for the purchase or lease of a real property of the general description indicated above.

  • Geographic Scope The "Territory," which defines the geographic scope of the covenants contained in this Section 7, shall extend to and include all of the states (or foreign equivalent) in which the Company does business as M&A advisors or private placement equity advisors.

  • Actions We May Take if You Engage in Any Restricted Activities If we believe that you’ve engaged in any of these activities, we may take a number of actions to protect PayPal, its customers and others at any time in our sole discretion. The actions we make take include, but are not limited to, the following: • Terminate this user agreement, limit your account, and/or close or suspend your account, immediately and without penalty to us; • Refuse to provide the PayPal services to you in the future; • At any time and without liability, suspend, limit or terminate your access to our websites, software, systems (including any networks and servers used to provide any of the PayPal services) operated by us or on our behalf, your PayPal account or any of the PayPal services, including limiting your ability to pay or send money with any of the payment methods linked to your PayPal account, restricting your ability to send money or make withdrawals; • Hold your money to the extent and for so long as reasonably needed to protect against the risk of liability. You acknowledge that, as a non-exhaustive guide: • PayPal’s risk of liability in respect of card-funded payments that you receive can last until the risk of a chargeback closing in favour of the payer/buyer (as determined by card scheme rules) has passed. This depends on certain factors, including, without limitation:

  • Territory 43.1 This Agreement applies to the territory in which Verizon operates as an Incumbent Local Exchange Carrier in the Commonwealth of Pennsylvania. Verizon shall be obligated to provide Services under this Agreement only within this territory.

  • Union Activity During Working Hours The Employer and the Union recognize that union representatives and stewards play an important role in effectuating the terms of this Agreement; however, both parties acknowledge that the duties undertaken as a union representative or xxxxxxx are in addition to the their job assignments. The Union shall notify the Department of Budget and Management in writing of the names of designated stewards and union representatives prior to them assuming any duties. Consistent with the operational needs of the Employer, the Employer shall grant time off with pay for designated stewards and union representatives, including reasonable travel time when necessary, to attend:

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!