scientific article
From MaRDI portal
Publication:3666283
zbMath0517.68065MaRDI QIDQ3666283
Ugo Montanari, Ilaria Castellani
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Concurrent histories: a basis for observing distributed systems, Ugo Montanari and Graph Transformation, Graph-Based Design and Analysis of Dynamic Software Architectures, Ugo Montanari and Concurrency Theory, Models of Computation: A Tribute to Ugo Montanari’s Vision, Parallel and distributed derivations in the single-pushout approach, Amalgamation of graph transformations: a synchronization mechanism