scientific article
From MaRDI portal
Publication:3680268
zbMath0565.68034MaRDI QIDQ3680268
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsPetri netslinear equation systemsresolution methodquestion answeringlinear dependencydeductionslogical programslogical dependency
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Inconsistency check of a set of clauses using Petri net reductions ⋮ Inference approach based on Petri nets
This page was built for publication:
