Denotational semantics and its algebraic derivation for an event-driven system-level language
From MaRDI portal
Publication:903516
DOI10.1007/S00165-014-0309-8zbMATH Open1347.68039OpenAlexW2092481413MaRDI QIDQ903516FDOQ903516
Authors: Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke 
Publication date: 6 January 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://research.tees.ac.uk/ws/files/6755833/594436.pdf
Recommendations
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- Denotational Approach to an Event-Driven System-Level Language
- scientific article; zbMATH DE number 1852174
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- scientific article; zbMATH DE number 3902017
Cites Work
- A structural approach to operational semantics
- Laws of programming
- Abstract State Machines
- Title not available (Why is that?)
- Metrics for labelled Markov processes
- Developments in concurrent Kleene algebra
- rCOS: a refinement calculus of object systems
- Probabilistic models for the guarded command language
- A UTP semantics for \textsf{Circus}
- An algebraic approach to compiler design
- Title not available (Why is that?)
- Normal form approach to compiler design
- A process algebraic framework for specification and validation of real-time systems
- From algebra to operational semantics
- Title not available (Why is that?)
- In praise of algebra
- The safety-critical Java memory model formalised
- Unifying theories in ProofPower-Z
- From distributions to probabilistic reactive programs
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- Algebra unifies operational calculi
- A probabilistic theory of designs based on distributions
- Denotational Approach to an Event-Driven System-Level Language
- Automated Technology for Verification and Analysis
Cited In (10)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
- A Unary Semigroup Trace Algebra
- Title not available (Why is that?)
- Denotational Approach to an Event-Driven System-Level Language
- A UTP approach for rTiMo
- UTP semantics for rTiMo
- Developments in concurrent Kleene algebra
- Angelic processes for CSP via the UTP
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming
Uses Software
This page was built for publication: Denotational semantics and its algebraic derivation for an event-driven system-level language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q903516)
