Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

DOI10.1016/j.jlap.2011.06.003zbMath1243.68208OpenAlexW2034971125WikidataQ56939621 ScholiaQ56939621MaRDI QIDQ652158

Huibiao Zhu, Jeff W. Sanders, Fan Yang, Shengchao Qin, Jifeng He, Jonathan P. Bowen

Publication date: 19 December 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.06.003

zbMATH Keywords

animationoperational semanticsalgebraic semanticshead normal formPTSCsemantic linking

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (9)

A UTP approach for rTiMo ⋮ Developments in concurrent Kleene algebra ⋮ Denotational Semantics for a Probabilistic Timed Shared-Variable Language ⋮ Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP ⋮ UTP Semantics for rTiMo ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng ⋮ Towards a Modeling Language for Cyber-Physical Systems

Uses Software

• PTSC

Cites Work

• Probabilistic communicating processes
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• From algebra to operational semantics
• Probabilistic models for the guarded command language
• Algebraic theory of probabilistic processes.
• A structural approach to operational semantics
• Full abstraction for a shared-variable parallel language
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Predicative programming Part I
• Predicative programming Part II
• Laws of programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• A probabilistic language based upon sampling functions
• The Java memory model
• Unifying Probability
• Mathematics of Program Construction
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• The structure of the “THE”-multiprogramming system
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Partial correctness for probabilistic demonic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language