scientific article; zbMATH DE number 4026841

zbMATH Open0631.68055MaRDI QIDQ3768412FDOQ3768412

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

Publication date: 1986

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

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)

• Title not available (Why is that?)
• A structural induction theorem for processes
• Underspecification for a simple process algebra of recursive processes.
• 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 Q3768412)