Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-020-00513-4
@@ Property / DOI: 10.1007/s00165-020-00513-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ModuRes
@@ Property / describes a project that uses: ModuRes / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UTPCalc
@@ Property / describes a project that uses: UTPCalc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kami
@@ Property / describes a project that uses: Kami / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-020-00513-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3035923412
@@ Property / OpenAlex ID: W3035923412 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Mechanized semantics for the clight subset of the C language
+Normal rank
@@ Property / cites work @@
+Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers
+Normal rank
@@ Property / cites work @@
+UTPCalc — A Calculator for UTP Predicates
@@ Property / cites work: UTPCalc — A Calculator for UTP Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+UTCP: Compositional Semantics for Shared-Variable Concurrency
+Normal rank
@@ Property / cites work @@
+Proof Assistants for Natural Language Semantics
@@ Property / cites work: Proof Assistants for Natural Language Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The safety-critical Java memory model formalised
@@ Property / cites work: The safety-critical Java memory model formalised / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Isabelle/UTP: A Mechanised Theory Engineering Framework
+Normal rank
@@ Property / cites work @@
+Relating Event and Trace Semantics of Hardware Description Languages
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods at the Crossroads. From Panacea to Foundational Support
+Normal rank
@@ Property / cites work @@
+Linking theories in probabilistic programming
@@ Property / cites work: Linking theories in probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Normal form approach to compiler design
@@ Property / cites work: Normal form approach to compiler design / rank @@
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Advanced features of duration calculus and their applications in sequential hybrid programs
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying theories in ProofPower-Z
@@ Property / cites work: Unifying theories in ProofPower-Z / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages
+Normal rank
@@ Property / cites work @@
+A Brief Overview of HOL4
@@ Property / cites work: A Brief Overview of HOL4 / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27--28, 2012. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Observation-Oriented Semantics for Calculus of Wireless Systems
+Normal rank
@@ Property / cites work @@
+A UTP approach for rTiMo
@@ Property / cites work: A UTP approach for rTiMo / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-020-00513-4
@@ Property / DOI: 10.1007/S00165-020-00513-4 / rank @@
+Normal rank