scientific article; zbMATH DE number 3992937
From MaRDI portal
Publication:4720790
zbMath0613.68028MaRDI QIDQ4720790
Elisabeth Pelz, Michel Parigot
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A structure to decide reachability in Petri nets, Supervisory Control of Petri Nets with Language Specifications
