Operational semantics for signal handling

MaRDI QIDQ4986266zbMATH OpenFDO

Authors Maxim Strygin, Hayo Thielecke

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1208.2754, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.11

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semantics of communicating processes
• An operational semantics of occam
• scientific article; zbMATH DE number 4050949
• What is the meaning of these constant interruptions?
• Concurrency: handling interference formally

This page was built for publication: Operational semantics for signal handling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986266)