Specialization of Concurrent Guarded Multi-set Transformation Rules

DOI10.1007/11506676_9zbMath1134.68347OpenAlexW1532345228MaRDI QIDQ5458799

Thom Frühwirth

Publication date: 24 April 2008

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11506676_9

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unfolding for CHR programs

This page was built for publication: Specialization of Concurrent Guarded Multi-set Transformation Rules