scientific article

zbMath1272.68291MaRDI QIDQ2851050

Ugo Montanari, Roberto Bruni, José Meseguer

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825307

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (3)

Twenty years of rewriting logic ⋮ Compositional Specification in Rewriting Logic ⋮ Coordination: Reo, Nets, and Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• Higher categories, strings, cubes and simplex equations
• Dynamic connectors for concurrency
• Zero-safe nets: Comparing the collective and individual token approaches.
• An interactive semantics of logic programming
• Catégories structurées
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: