scientific article; zbMATH DE number 2090712
From MaRDI portal
Publication:4813207
zbMath1065.68581MaRDI QIDQ4813207
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990209.htm
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 (16)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Unnamed Item ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ Extending Timed Process Algebra with Discrete Stochastic Time ⋮ A theory of stochastic systems. I: Stochastic automata ⋮ A theory of stochastic systems. II: Process algebra ⋮ Quantitative information in the tuple space coordination model ⋮ Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time
This page was built for publication:
