Thermodynamic Graph-Rewriting
From MaRDI portal
Publication:2842121
DOI10.1007/978-3-642-40184-8_27zbMath1390.68364arXiv1503.06022OpenAlexW1720201106MaRDI QIDQ2842121
Russ Harmer, Vincent Danos, Ricardo Honorato-Zimmer
Publication date: 12 August 2013
Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.06022
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
This page was built for publication: Thermodynamic Graph-Rewriting
