scientific article
From MaRDI portal
Publication:2880610
zbMath1249.68132MaRDI QIDQ2880610
Publication date: 13 April 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Performance evaluation in stochastic process algebra dtsdPBC
This page was built for publication:
