scientific article; zbMATH DE number 1250176
From MaRDI portal
Publication:4230786
zbMATH Open0915.68126MaRDI QIDQ4230786FDOQ4230786
Authors: Antonius André Basten 
Publication date: 10 February 1999
Title of this publication is not available (Why is that?)
Recommendations
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 (15)
- Modular construction and partial order semantics of Petri nets
- 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
- Giving back some freedom to the system designer
- Property-preserving Petri net process algebra in software engineering
- 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
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)
