Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
From MaRDI portal
Publication:652158
DOI10.1016/J.JLAP.2011.06.003zbMATH Open1243.68208OpenAlexW2034971125WikidataQ56939621 ScholiaQ56939621MaRDI QIDQ652158FDOQ652158
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
Recommendations
- Denotational semantics for a probabilistic timed shared-variable language
- Algebraic theory of probabilistic and nondeterministic processes.
- A general SOS theory for the specification of probabilistic transition systems
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Operator algebras and the operational semantics of probabilistic languages
Cites Work
- A structural approach to operational semantics
- Laws of programming
- Title not available (Why is that?)
- Full abstraction for a shared-variable parallel language
- A grainless semantics for parallel programs with shared mutable data
- Ten Years of Hoare's Logic: A Survey—Part I
- Title not available (Why is that?)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Concurrency verification. Introduction to compositional and noncompositional methods
- Algebraic theory of probabilistic processes.
- Probabilistic communicating processes
- Title not available (Why is that?)
- Probabilistic models for the guarded command language
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- Title not available (Why is that?)
- The Java memory model
- Predicative programming Part I
- Predicative programming Part II
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
- The structure of the “THE”-multiprogramming system
- Title not available (Why is that?)
- Partial correctness for probabilistic demonic programs
- Mathematics of Program Construction
- From algebra to operational semantics
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- A probabilistic language based upon sampling functions
- Unifying Probability
- Formal Methods at the Crossroads. From Panacea to Foundational Support
Cited In (9)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
- A UTP approach for rTiMo
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language
- Developments in concurrent Kleene algebra
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP
- UTP Semantics for rTiMo
- Towards a Modeling Language for Cyber-Physical Systems
Uses Software
This page was built for publication: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652158)
