scientific article

zbMath1027.68091MaRDI QIDQ2760242

Alban Ponse, Jan A. Bergstra, W. J. Fokkink

Publication date: 18 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

iterationprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Adding recursive constructs to bialgebraic semantics ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Branching time and orthogonal bisimulation equivalence ⋮ Reactive Turing machines ⋮ Knowledge and Games in Modal Semirings ⋮ Revisiting sequential composition in process calculi ⋮ Using Hoare Logic in a Process Algebra Setting ⋮ Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration ⋮ Formal enforcement of security policies on concurrent systems ⋮ Non-regular iterators in process algebra ⋮ A note on an expressiveness hierarchy for multi-exit iteration ⋮ Domain Axioms for a Family of Near-Semirings

This page was built for publication: