scientific article
From MaRDI portal
Publication:2760244
zbMath1027.68092MaRDI QIDQ2760244
Anna Ingólfsdóttir, Huimin Lin
Publication date: 18 December 2001
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 (10)
On the expressiveness of choice quantification ⋮ Theory of interaction ⋮ Compositional equivalences based on open pNets ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Value-passing CCS with noisy channels ⋮ A generic framework for \(n\)-protocol compatibility checking ⋮ Replacement freeness: a criterion for separating process calculi ⋮ On the expressiveness of interaction ⋮ Automatic Generation of Adaptation Contracts ⋮ The Value-Passing Calculus
This page was built for publication:
