Del 27
Del 23 i serien Cambridge Tracts in Theoretical Computer Science
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Inbunden, Engelska, 1991
2 109 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.
Produktinformation
- Utgivningsdatum1991-10-03
- Mått180 x 257 x 19 mm
- Vikt670 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor278
- FörlagCambridge University Press
- ISBN9780521400442
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 34
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad, 2005
1 149 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 509 kr
Del 40
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 28
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2006
1 069 kr
Del 3
Del 42
Del 46
Hoppa över listan
Du kanske också är intresserad av
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr