Fr. 200.40

E. -R Olderog, E. -R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, Ernst-Rudiger Olderog

Nets, Terms and Formulas - Three Views of Concurrent Processes and Their Relationship

English · Hardback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Klappentext The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Zusammenfassung 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 author identifies directions for research. Inhaltsverzeichnis 1. Introduction; 2. Petri nets; 3. Process terms; 4. Logical formulas; 5. Process construction; 6. Extensions; References.

Product details

Authors	E. -R Olderog, E. -R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, Ernst-Rudiger Olderog
Publisher	Cambridge University Press ELT

Languages	English
Product format	Hardback
Released	03.10.1991

EAN	9780521400442
ISBN	978-0-521-40044-2
No. of pages	278
Series	Occasional Papers
Subject	Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.