scientific article; zbMATH DE number 1285311
From MaRDI portal
Publication:4242094
zbMath0924.68084MaRDI QIDQ4242094
Publication date: 9 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (5)
Combining decomposition and reduction for state space analysis of a self-stabilizing system ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Process algebra for performance evaluation ⋮ Structural Analysis for Stochastic Process Algebra Models ⋮ Stochastic Modelling of Communication Protocols from Source Code
This page was built for publication:
