Algebraic theory for true concurrency. (2023)
- Record Type:
- Book
- Title:
- Algebraic theory for true concurrency. (2023)
- Main Title:
- Algebraic theory for true concurrency
- Further Information:
- Note: Yong Wang.
- Authors:
- Wang, Yong
- Contents:
- 1. Introduction 2. Semantics and Logic for True Concurrency 3. A Calculus for True Concurrency 4. Algebraic Laws for True Concurrency 5. A Calculus for Truly Concurrent Mobile Processes 6. Guards 7. Timing
- Publisher Details:
- Amsterdam : Academic Press
- Publication Date:
- 2023
- Extent:
- 1 online resource
- Subjects:
- 004.35
Parallel processing (Electronic computers) -- Mathematics
Computer multitasking -- Mathematics
Algebraic number theory - Languages:
- English
- ISBNs:
- 9780443189135
- Related ISBNs:
- 9780443189128
- Notes:
- Note: Description based on CIP data; resource not viewed.
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.753864
- Ingest File:
- 18_039.xml