Flow properties Clause Samples

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].

Related to Flow properties

  • Real Properties The Company does not have an interest in any real property, except for the Leases (as defined below).

  • Assets and Properties (a) The Company and its Subsidiaries have good title to, or a valid leasehold interest in or valid right to use, all material properties and assets used by them, located on their premises or shown on the consolidated balance sheet of the Company and its Subsidiaries as of August 27, 2005 or acquired after the date thereof, free and clear of all Liens (other than properties and assets disposed of in the ordinary course of business since August 27, 2005, except for Liens disclosed on such consolidated balance sheet, and except for Permitted Liens). The Company and its Subsidiaries own, have a valid leasehold interest in, or have the valid and enforceable right to use all assets, tangible or intangible, necessary for the conduct of their businesses as presently conducted. Except as set forth in Section 4.24(a) of the Company Disclosure Schedule and except as would not have a Company Material Adverse Effect, all of the Company's and its Subsidiaries' buildings (including all components of such buildings, structures and other improvements), and all equipment, machinery, fixtures, improvements and other tangible assets (whether owned or leased) are in adequate condition and repair (ordinary wear and tear excepted) for the operation of their businesses as presently conducted. (b) Section 4.24(b) of the Company Disclosure Schedule sets forth the address and description of each parcel of Owned Real Property. With respect to each parcel of Owned Real Property, except as set forth in Section 4.24(b) of the Company Disclosure Schedule: (i) the Company or its Subsidiaries have fee simple title, free and clear of all Liens except Permitted Liens as of the Closing Date; (ii) neither the Company nor any of its Subsidiaries has leased or otherwise granted to any Person the right to use or occupy such Owned Real Property or any portion thereof; and (iii) there are no outstanding options, rights of first offer or rights of first refusal to purchase such Owned Real Property or any portion thereof or interest therein. (c) Section 4.24(c) of the Company Disclosure Schedule sets forth the address of each parcel of Leased Real Property, and a complete list of all Leases for each such Leased Real Property (including the date and name of the parties to such Lease document). The Company has made available to Parent and Acquisition Corp. a complete copy of each such Lease. Neither the Company nor its Subsidiaries are party to any oral Leases. Except as set forth in Section 4.24(c) of the Company Disclosure Schedule, with respect to each of the Leases: (i) as to the Company and its Subsidiaries, such Lease is legal, valid, binding, enforceable and in full force and effect in all material respects; (ii) the transaction contemplated by this Agreement does not require the consent of or notice to any other party to such Lease, will not result in a material breach of or material default under such Lease, will not give rise to any recapture or similar rights, and will not otherwise cause such Lease to cease to be legal, valid, binding, enforceable and in full force and effect on identical terms following the Closing; (iii) none of the Company, its Subsidiaries, or, to the knowledge of the Company, any other party to the Lease is in material breach or material default under such Lease and no event, with the passage of time or giving of notice or both, would constitute a material breach or default under such Lease; (iv) the other party to such Lease is not an affiliate of the Company or any of its Subsidiaries; (v) neither the Company nor any of its Subsidiaries has subleased, licensed or otherwise granted any Person the contractual right to use or occupy such Leased Real Property or any portion thereof; (vi) 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 (vii) there are no Liens on the estate or interest created by such Lease except for Permitted Liens. Except as set forth in Section 4.24(c) of the Company Disclosure Schedule, none of the Leases contain any capital expenditure requirements or remodeling obligations of the Company or any of its Subsidiaries other than ordinary maintenance and repair obligations. (d) For purposes of this Agreement, "Permitted Liens" shall mean (i) statutory landlord's, mechanic's, carrier's, workmen's, repairmen's or other similar Liens arising or incurred in the ordinary course of business for amounts which are not due and payable and which would not, individually or in the aggregate, have a Material Adverse Effect on the business of the Company and its Subsidiaries as currently conducted thereon, (ii) such easements, covenants and other restrictions or encumbrances of record as do not materially affect the ownership or use of the properties or assets subject thereto or affected thereby or otherwise materially affect, restrict or impair business operations at such properties, and (iii) liens pursuant to that certain loan agreement with The CIT Group/Business Credit, Inc.

  • Borrowing Base Properties (a) Except where the failure to comply with any of the following would not have a Material Adverse Effect, each of Parent and Borrower shall, and shall use commercially reasonable efforts to cause each other Loan Party or the applicable tenant, to: (b) Pay all real estate and personal property taxes, assessments, water rates or sewer rents, ground rents, maintenance charges, impositions, and any other charges, including vault charges and license fees for the use of vaults, chutes and similar areas adjoining any Borrowing Base Property, now or hereafter levied or assessed or imposed against any Borrowing Base Property or any part thereof (except those which are being contested in good faith by appropriate proceedings diligently conducted). (c) Promptly pay (or cause to be paid) when due all bills and costs for labor, materials, and specifically fabricated materials incurred in connection with any Borrowing Base Property (except those which are being contested in good faith by appropriate proceedings diligently conducted), and in any event never permit to be created or exist in respect of any Borrowing Base Property or any part thereof any other or additional Lien or security interest other than Liens permitted by Section 8.01. (d) Operate the Borrowing Base Properties in a good and workmanlike manner and in all material respects in accordance with all Laws in accordance with such Loan Party’s prudent business judgment. (e) Cause each other Loan Party to, to the extent owned and controlled by a Loan Party, preserve, protect, renew, extend and retain all material rights and privileges granted for or applicable to each Borrowing Base Property.

  • Existence; Businesses and Properties (a) Do or cause to be done all things necessary to preserve, renew and keep in full force and effect its legal existence and (to the extent the concept is applicable in such jurisdiction) good standing under the legal requirements of the jurisdiction of its formation, except as otherwise expressly permitted under Section 6.05, except where failure to do so could not, individually or in the aggregate, reasonably be expected to have a Material Adverse Effect. (b) Qualify and remain qualified as a foreign entity in each jurisdiction in which qualification is necessary in view of its business and operations or the ownership of its properties, except where failure to do so could not, individually or in the aggregate, reasonably be expected to have a Material Adverse Effect. (c) Do or cause to be done all things necessary to obtain, preserve, renew, extend, maintain and keep in full force and effect the rights, privileges, licenses, permits, franchises, authorizations, patents, copyrights, trademarks and trade names material to the conduct of its business, except where the failure to do so could not reasonably be expected to have a Material Adverse Effect; maintain and operate such business in substantially the manner in which it is presently conducted and operated; comply in all material respects with all applicable laws, rules, regulations, decrees and orders of any Governmental Authority, whether now in effect or hereafter enacted, except where the failure do so could not reasonably be expected to have a Material Adverse Effect; and at all times maintain and preserve all property material to the conduct of such business and keep such property in good repair, working order and condition and from time to time make, or cause to be made, all needful and proper repairs, renewals, additions, improvements and replacements thereto necessary in order that the business carried on in connection therewith may be properly conducted at all times, except where the failure to do so could not reasonably be expected to have a Material Adverse Effect.

  • Owned Properties The "Owned Real Property Schedule" attached hereto sets forth a list of all owned real property (the "Owned Real Property") used by the Company or any of it Subsidiaries in the operation of the Company's or any of it Subsidiaries' business. With respect to each such parcel of Owned Real Property and except for Liens in favor of the Senior Lenders: (i) such parcel is free and clear of all covenants, conditions, restrictions, easements, liens or other encumbrances, except Permitted Encumbrances; (ii) there are no leases, subleases, licenses, concessions, or other agreements, written or oral, granting to any person the right of use or occupance of any portion of such parcel; and (iii) there are no outstanding actions or rights of first refusal to purchase such parcel, or any portion thereof or interest therein.