scientific article

From MaRDI portal

Revision as of 03:07, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4037106

Jump to:navigation, search

zbMath0786.68065MaRDI QIDQ4037106

Didier Vergamini, Eric Madelaine

Publication date: 18 May 1993

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

zbMATH Keywords

verification concurrent systems structural operational semantics finite automata process algebras LOTOS

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

GSOS and finite labelled transition systems ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ A semantic driven method to check the fineteness of CCS processes ⋮ Using heuristic search for finding deadlocks in concurrent systems

This page was built for publication:

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