scientific article; zbMATH DE number 4026841

MaRDI QIDQ3768412zbMATH OpenFDO

Authors Piotr Borowik, Waldemar Korczynski, T. Kudła

Publication date 1986

zbMATH Keywords

concurrencyPetri netsparallel processes

Mathematics Subject Classification ID

Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Cited in

(4)

• scientific article; zbMATH DE number 5051661 (Why is no real title available?)
• A structural induction theorem for processes
• Underspecification for a simple process algebra of recursive processes.
• scientific article; zbMATH DE number 1484272 (Why is no real title available?)

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