Del 23

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Häftad, Engelska, 2005

Av E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

789 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 919 kr

Skickas inom 7-10 vardagar
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

  • Utgivningsdatum2005-08-22
  • Mått170 x 245 x 15 mm
  • Vikt446 g
  • FormatHäftad
  • SpråkEngelska
  • SerieCambridge Tracts in Theoretical Computer Science
  • Antal sidor280
  • FörlagCambridge University Press
  • ISBN9780521018456

Tillhör följande kategorier

Du kanske också är intresserad av

Nets, Terms and Formulas
Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog

1 919 kr

The Uncertain Reasoner's Companion
Del 39

The Uncertain Reasoner's Companion

J. B. Paris, J. B. (University of Manchester) Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

829 kr

Extensions of First-Order Logic
Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 169 kr

Topology via Logic
Del 5

Topology via Logic

Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Algorithmic Information Theory
Del 1

Algorithmic Information Theory

Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

839 kr

Updating Logical Databases
Del 9

Updating Logical Databases

Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

649 kr

Logic and Computation
Del 2

Logic and Computation

Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

909 kr

Formal Methods in Artificial Intelligence
Del 6

Formal Methods in Artificial Intelligence

Allan M. Ramsay, Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

719 kr

Theoretical Foundations of VLSI Design
Del 10

Theoretical Foundations of VLSI Design

K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

859 kr

The Logic of Typed Feature Structures
Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

789 kr