scientific article; zbMATH DE number 1418361

zbMath0955.68081MaRDI QIDQ4941924

Ugo Montanari, Fabio Gadducci, Roberto Bruni

Publication date: 19 March 2000

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

zbMATH Keywords

name sharing

Mathematics Subject Classification ID

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

Related Items

A basic algebra of stateless connectors, GETGRATS, A categorical framework for typing CCS-style process communication, Tile formats for located and mobile systems., Dynamic connectors for concurrency, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic