scientific article; zbMATH DE number 1497781

zbMath0958.68115MaRDI QIDQ4499198

Roberto Gorrieri, Mario Bravetti

Publication date: 5 March 2001

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

zbMATH Keywords

compositional level-wise renaming

Mathematics Subject Classification ID

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

Related Items (3)

Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time ⋮ The theory of interactive generalized semi-Markov processes

This page was built for publication: