Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
From MaRDI portal
(Redirected from Publication:652158)
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
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3731310 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 1324656 (Why is no real title available?)
- scientific article; zbMATH DE number 1049043 (Why is no real title available?)
- scientific article; zbMATH DE number 1759984 (Why is no real title available?)
- scientific article; zbMATH DE number 1852174 (Why is no real title available?)
- scientific article; zbMATH DE number 819814 (Why is no real title available?)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
- A grainless semantics for parallel programs with shared mutable data
- A probabilistic language based upon sampling functions
- A structural approach to operational semantics
- Algebraic theory of probabilistic processes.
- An algebraic approach to the VERILOG programming.
- Concurrency verification. Introduction to compositional and noncompositional methods
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- From algebra to operational semantics
- Full abstraction for a shared-variable parallel language
- Laws of programming
- Mathematics of Program Construction
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- Partial correctness for probabilistic demonic programs
- Predicative programming Part I
- Predicative programming Part II
- Probabilistic communicating processes
- Probabilistic models for the guarded command language
- Ten Years of Hoare's Logic: A Survey—Part I
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- The Java memory model
- The structure of the “THE”-multiprogramming system
- Unifying Probability
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
Cited in
(10)- 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
- UTP semantics for rTiMo
- 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
- Towards a modeling language for cyber-physical systems
- Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
- Denotational semantics for a probabilistic timed shared-variable language
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)
