scientific article; zbMATH DE number 7020157

zbMath1424.68081arXiv1108.0465MaRDI QIDQ4621159

Andrei Dorman, Tobias Heindel, Barbara König

Publication date: 8 February 2019

Full work available at URL: https://arxiv.org/abs/1108.0465

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

zbMATH Keywords

structural operational semanticsprocess calculigraph transformationcompositional methods

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) Grammars and rewriting systems (68Q42)

This page was built for publication: