Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Date: 09 June 2011, 04:43
Product Description: The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets.

DISCLAIMER:

This site does not store Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) on its server. We only index and link to Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) provided by other sites. Please contact the content providers to delete Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)"
Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science) Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521461170
Total size: 5.3 MB
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521434572
Total size: 1.52 MB
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521622778
Total size: 2.4 MB
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521395380
Total size: 3 MB
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521054222
Total size: 5.08 MB
Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science) (+code) Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science) (+code)

ISBN/ASIN: 0521640105
Total size: 14.82 MB
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science) Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521088127
Total size: 2.6 MB
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science) Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 052154565X
Total size: 2.3 MB
Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science) Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521440343
Total size: 4.07 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running