Search results for ‘E. -R. Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany),Ernst-Rudiger Olderog’

Filter & Refine

      Cover image for Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
      Paperback
      Add to list Added to list

      Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

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

      The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the…

      $82.99

      Available to order, ships in approx 2 weeksAvailable to order