On Symbolic Semantics for Name-decorated Contexts

DOI10.1016/j.entcs.2009.06.038zbMath1291.68282OpenAlexW2086331129WikidataQ56501709 ScholiaQ56501709MaRDI QIDQ5166612

Roberto Bruni, Andrea Bracciali, Alberto Lluch Lafuente

Publication date: 27 June 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.038

zbMATH Keywords

open systemstype systemsabstract semanticsnominal calculi

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Uses Software

• SLMC

Cites Work

• Locating reaction with 2-categories
• A semantic framework for open processes
• Bisimulation by Unification*
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Anytime, anywhere
• Hierarchical Design Rewriting with Maude
• Graph rewriting for the π-calculus
• Global Computing
• Algebra and Coalgebra in Computer Science
• CONCUR 2005 – Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Symbolic Semantics for Name-decorated Contexts