Flow properties Sample Clauses

Flow properties where x S removes all occurrences of events from S in traces of x; En is a set of new events introduced in machine refinement (these events refine an implicit skip event of an abstract machine); R∗ is a function mapping concrete event labels into the labels of abstract events. Note that since a flow selects one of the possible traces of a machine, the combination of a consistent flow and a machine exhibits the failure-divergence refinement in respect to the pair of abstract flow and a machine.This is due to the fact that Event-B refinement is a case of the failure-divergence refinement [12].
AutoNDA by SimpleDocs

Related to Flow properties

  • Business Accounts If you are a business, any authorized user of your business is authorized on such terms, conditions, and agreements as we may require to: • enter into this Agreement, as amended from time to time; • access each account of yours in any manner and for any purpose available through the Service, whether now available or available at some time in the future; and • use any Online banking service in any manner and for any purpose available through the Service, whether now available or available at some time in the future.

  • B8 Property B8.1 Where the Client issues Property free of charge to the Contractor such Property shall be and remain the property of the Client and the Contractor irrevocably licences the Client and its agents to enter upon any premises of the Contractor during normal business hours on reasonable notice to recover any such Property. The Contractor shall not in any circumstances have a lien or any other interest on the Property and the Contractor shall at all times possess the Property as fiduciary agent and bailee of the Client. The Contractor shall take all reasonable steps to ensure that the title of the Client to the Property and the exclusion of any such lien or other interest are brought to the notice of all sub-contractors and other appropriate persons and shall, at the Client’s request, store the Property separately and ensure that it is clearly identifiable as belonging to the Client.

  • WIFE’S PROPERTY It is declared by the Couple that, under this Agreement, the Wife shall be the owner of the following assets and property: (continued on Attachment D if required, incorporated herein by reference)

  • Properties and Leases Except as would not, individually or in the aggregate, reasonably be expected to have a Company Material Adverse Effect, the Company and the Company Subsidiaries have good and marketable title to all real properties and all other properties and assets owned by them, in each case free from liens, encumbrances, claims and defects that would affect the value thereof or interfere with the use made or to be made thereof by them. Except as would not, individually or in the aggregate, reasonably be expected to have a Company Material Adverse Effect, the Company and the Company Subsidiaries hold all leased real or personal property under valid and enforceable leases with no exceptions that would interfere with the use made or to be made thereof by them.

  • Leased Real Property Section 3.13(b) of the Company Disclosure Letter contains a true, correct and complete list of (i) all of the real property that is leased, subleased, licensed or otherwise used or occupied by, the Company or any of its Subsidiaries (such property, the “Leased Real Property”) and (ii) all leases, subleases, licenses or other Contracts pursuant to which the Company or its Subsidiaries use or occupy, or have the right to use or occupy, now or in the future, such Leased Real Property (each, a “Lease”). The Company has made available to Parent true, correct and complete copies of all Leases (including all material modifications, amendments and supplements thereto), and in the case of any oral Lease, a written summary of the material terms of such Lease. The Company and/or one of its Subsidiaries, as the case may be, have and own good, valid and subsisting leasehold interests in the Leased Real Property under each Lease, subject to proper authorization and execution of such Lease by the other party thereto and Permitted Liens, except in each case, as enforcement may be limited by the Enforceability Limitations, except as would not, individually or in the aggregate, have a Company Material Adverse Effect. With respect to each Lease and except as would not, individually or in the aggregate, have a Company Material Adverse Effect or materially and adversely affect the current use by the Company or its Subsidiaries of the Leased Real Property, (i) each Lease is in full force and effect and a valid, binding and legally enforceable obligation of the Company or its applicable Subsidiary, as the case may be, and, to the Knowledge of the Company, the other parties thereto (except in each case as may be limited by the Enforceability Limitations); (ii) each Lease has not been amended or modified in any material respect except as reflected in the modifications, amendments, supplements and side letters thereto made available to Parent; (iii) there is no existing material default or event of default by the Company or any of its Subsidiaries or, to the Knowledge of the Company, any other party thereto, under any Lease (iii) to the Knowledge of the Company, there are no disputes with respect to any Lease; (iv) neither the Company nor any of its Subsidiaries has collaterally assigned or granted any other security interest in such Lease or any interest therein; and (v) there are no Liens (other than Permitted Liens) on the estate or interest created by such Lease. The Leased Real Property is in all material respects in good operating condition and in a state of good and working maintenance and repair, ordinary wear and tear excepted, and is adequate and suitable for its current uses and purposes. There are no physical conditions or defects on any part of the Leased Real Property that would materially impair or would be reasonably expected to materially impair the continued operation of the business of the Company and its Subsidiaries as presently conducted at such Leased Real Property.

  • Real Property (a) Neither the Company nor any of its Subsidiaries owns any real property.

  • ACCESS TO PLANTS AND PROPERTIES Seller shall comply with all the rules and regulations established by Buyer for access to and activities in and around premises controlled by Buyer or Buyer’s customer.

  • Operations Matters Section 1.7 of Article I of the Agreement is deleted in its entirety and replaced with the following:

  • Property Ownership The Fund owns or leases all such properties as are necessary to the conduct of its operations as presently conducted.

  • Assets The School shall maintain a complete and current inventory of all of its property and shall update the inventory annually. The School shall take all necessary precautions to safeguard assets acquired with public funds.

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