scientific article

zbMath0758.68027MaRDI QIDQ4027626

Ugo Montanari, Gian-Luigi Ferrari

Publication date: 21 February 1993

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

zbMATH Keywords

categories of graphsconceptual unification of the models for concurrent and distributed systems

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theories (e.g., algebraic theories), structure, and semantics (18C10) Functor categories, comma categories (18A25)

Related Items (10)

An Institution for Graph Transformation ⋮ Verification and comparison of transition systems ⋮ A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). ⋮ Ugo Montanari and Concurrency Theory ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ Observational structures and their logic ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Proved trees ⋮ Tile formats for located and mobile systems.

This page was built for publication: