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
Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Jifeng He
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A structural approach to operational semantics
- Laws of programming
- Abstract State Machines
- 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
- Normal form approach to compiler design
- A process algebraic framework for specification and validation of real-time systems
- From algebra to operational semantics
- 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 (9)
- 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
- Developments in concurrent Kleene algebra
- Angelic processes for CSP via the UTP
- UTP Semantics for rTiMo
- 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)
