scientific article

zbMath0663.68074MaRDI QIDQ3814824

Younes Souissi, Nicolas Beldiceanu

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

livenessPetri netsexpert systemdeterministic systems of sequential processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99)

Related Items (3)

{SC}*ECS: A class of modular and hierarchical cooperating systems ⋮ Structure theory of equal conflict systems ⋮ Structure theory of multi-level deterministically synchronized sequential processes

This page was built for publication: