scientific article; zbMATH DE number 883892

zbMath0846.68072MaRDI QIDQ4880140

W. J. Fokkink

Publication date: 2 June 1996

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

zbMATH Keywords

basic process algebrarooted branching bisimulation equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (4)

An equational axiomatization for multi-exit iteration ⋮ Axiomatizing flat iteration ⋮ Non-regular iterators in process algebra ⋮ A complete equational axiomatization for MPA with string iteration

This page was built for publication: