scientific article; zbMATH DE number 1086713
From MaRDI portal
Publication:4362962
zbMath0889.68085MaRDI QIDQ4362962
Fabio Gadducci, Andrea Corradini
Publication date: 2 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An Institution for Graph Transformation, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Unnamed Item, GETGRATS, Categorical rewriting of term-like structures, A coalgebraic presentation of structured transition systems, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, A Heterogeneous Pushout Approach to Term-Graph Transformation, Coalgebraic Monads, GS·Λ Theories, Normal forms for algebras of connections., Tile formats for located and mobile systems., Contextual Petri nets, asymmetric event structures, and processes, Dynamic connectors for concurrency, Compositional SOS and beyond: A coalgebraic view of open systems, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
