scientific article; zbMATH DE number 1418361
From MaRDI portal
Publication:4941924
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.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
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
This page was built for publication:
