scientific article; zbMATH DE number 1250176

zbMATH Open0915.68126MaRDI QIDQ4230786FDOQ4230786

Antonius André Basten

Publication date: 10 February 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

Petri netsprocess algebraconcurrent systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (12)

• Theoretical aspects of communication-centred programming
• Title not available (Why is that?)
• Inheritance of behavior
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A unified model for nets and process algebras
• Open Petri Nets: Non-deterministic Processes and Compositionality
• Inheritance of workflows: An approach to tackling problems related to change
• A Look Around the Corner: The Pi-Calculus
• P/R nets and process concepts. I
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions

   Recommendations

• Petri net algebra 👍 👎
• A unified model for nets and process algebras 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4230786)