scientific article; zbMATH DE number 1337886

zbMATH Open0930.68094MaRDI QIDQ4264232

Ludwik Czaja

Publication date: 16 September 1999

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

zbMATH Keywords

Petri netprocess language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Some Remarks on Definability of Process Graphs ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages ⋮ Process languages and nets

Recommendations

• Process languages and nets 👍 👎
• On process languages in finite graphs 👍 👎
• A unified model for nets and process algebras 👍 👎
• Expressiveness of process algebras 👍 👎
• The denotational semantics of dynamic networks of processes 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4264232)