scientific article

From MaRDI portal

Publication:3713570

Jump to:navigation, search

zbMath0587.68011MaRDI QIDQ3713570

Gerhard Barth, Bernd Schwinn

Publication date: 1986

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

zbMATH Keywords

logic programs AND parallelism OR parallelism data flow model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Efficient backward execution in AND/OR process model ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3713570&oldid=17213061"