Bokus

E. -R. Olderog – författare

Visar alla böcker från författaren E. -R. Olderog. Handla med fri frakt och snabb leverans.

2 produkter

  1. E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad. Tillgänglighet: Lägg i varukorg

    Nets, Terms and Formulas

    Three Views of Concurrent Processes and their Relationship

    Av E. -R. Olderog, C. J. Van Rijsbergen m. fl.

    Häftad, 2005

    804 kr

    Lägg i varukorg

    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 …

  2. E. -R. Olderog - Nets, Terms and Formulas, Inbunden. Tillgänglighet: Lägg i varukorg

    Nets, Terms and Formulas

    Three Views of Concurrent Processes and their Relationship

    Av E. -R. Olderog

    Inbunden, 1991

    1626 kr

    Lägg i varukorg

    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 …