scientific article
From MaRDI portal
Publication:2701735
zbMath0971.68111MaRDI QIDQ2701735
Publication date: 19 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (14)
Two-thirds simulation indexes and modal logic characterization ⋮ Quantitative analysis of software approximate correctness ⋮ Value-passing CCS with noisy channels ⋮ The infinite evolution mechanism of \(\epsilon\)-bisimilarity ⋮ Topological Construction of Parameterized Bisimulation Limit ⋮ Probabilistic bisimulations for quantum processes ⋮ The approximate correctness of systems based on \(\delta\)-bisimulation ⋮ A Behavioural Pseudometric based on λ–Bisimilarity ⋮ Hybrid process algebra ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity ⋮ \(\pi\)-calculus with noisy channels ⋮ Topological Aspects of Hybrid Processes ⋮ Additive models of probabilistic processes
This page was built for publication:
