Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
From MaRDI portal
Publication:4331080
DOI10.1017/S0960129501003462zbMath0993.68058MaRDI QIDQ4331080
José Meseguer, Ugo Montanari, Roberto Bruni
Publication date: 14 May 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Rewriting logic: Roadmap and bibliography, Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata, The Gray monoidal product of double categories, Twenty years of rewriting logic, Models of Computation: A Tribute to Ugo Montanari’s Vision, Protocol choice and iteration for the free cornering, Open Petri nets, GETGRATS, Observational congruences for dynamically reconfigurable tile systems, Networks of hybrid open systems, The formal theory of multimonoidal monads, Dynamic connectors for concurrency, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Unnamed Item