scientific article
From MaRDI portal
Publication:3839052
zbMath0903.08010MaRDI QIDQ3839052
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
synchronizationalgebraic specificationprocess algebrasrewriting logicmembership equational logictile logiccompositional models of computationconcurrent systems with state changesfree monoidal 2-categoryfree monoidal double category
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Compositional Specification in Rewriting Logic ⋮ Linear-Ordered Graph Grammars: Applications to Distributed Systems Design ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Unnamed Item ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic ⋮ Normal forms for algebras of connections. ⋮ Tile formats for located and mobile systems. ⋮ Functorial models for Petri nets ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract) ⋮ 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
Uses Software
This page was built for publication:
