Title: Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt
Abstract: An operational semantics of LOTOS including an interrupt and a refinement operator is given as SOS rules such that it corresponds to the denotational semantics, i.e. the transition system derived from the denotational semantics is bisimilar to the transition system of the operational semantics.The idea behind the operational semantics is that the refined action is renamed with a fresh name and all involved choices are triggered.
Publication Year: 2004
Publication Date: 2004-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot