scientific article
From MaRDI portal
Publication:2766662
zbMath0986.68062MaRDI QIDQ2766662
Karsten Stahl, Kai Baukus, Yassine Lakhneche
Publication date: 13 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (max. 100)
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol ⋮ Networks of Processes with Parameterized State Space
This page was built for publication: