scientific article

zbMath0452.68037MaRDI QIDQ3899505

Eike Best, Peter E. Lauer, Michael Shields

Publication date: 1980

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

zbMATH Keywords

distributed systemsPetri netsCOSYnet semanticshighly distributedhighly parallelsystem specification notationtransition nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (2)

Theory of traces ⋮ Adequacy properties of path programs

This page was built for publication: