Denotational semantics and its algebraic derivation for an event-driven system-level language
From MaRDI portal
Publication:903516
DOI10.1007/s00165-014-0309-8zbMath1347.68039OpenAlexW2092481413MaRDI QIDQ903516
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
Related Items (5)
A UTP approach for rTiMo ⋮ Developments in concurrent Kleene algebra ⋮ A Unary Semigroup Trace Algebra ⋮ UTP Semantics for rTiMo ⋮ Angelic processes for CSP via the UTP
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Metrics for labelled Markov processes
- rCOS: a refinement calculus of object systems
- A process algebraic framework for specification and validation of real-time systems
- A UTP semantics for \textsf{Circus}
- From algebra to operational semantics
- Normal form approach to compiler design
- Probabilistic models for the guarded command language
- A structural approach to operational semantics
- In praise of algebra
- The safety-critical Java memory model formalised
- Unifying theories in ProofPower-Z
- An Algebraic Approach to Compiler Design
- 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
- Laws of programming
- Abstract State Machines
- Developments in Concurrent Kleene Algebra
- Automated Technology for Verification and Analysis
This page was built for publication: Denotational semantics and its algebraic derivation for an event-driven system-level language
