Search results
From MaRDI portal
- Paper Bialgebraic Methods in Structural Operational Semantics 2013-12-13 Paper Structural operational semantics for stochastic and weighted transition systems...10 bytes (17 words) - 11:23, 6 October 2023
- 2018-07-26 Paper Flag-based big-step semantics 2017-03-20 Paper Implicit Propagation in Structural Operational Semantics 2016-06-03 Paper Generating Specialized...10 bytes (19 words) - 04:54, 12 December 2023
- Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Unifying Operational Semantics with Algebraic Semantics for...10 bytes (16 words) - 19:44, 6 October 2023
- of Publication Type Operational semantics of a weak memory model with channel synchronization 2021-05-04 Paper Operational semantics of a weak memory model...10 bytes (18 words) - 19:48, 13 December 2023
- Paper A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 2014-01-10 Paper A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based...10 bytes (18 words) - 20:30, 12 December 2023
- mardi4nfdi.de/entity/Q2775857 2003-02-02 Paper Abstract interpretation of operational semantics for secure information flow. 2003-01-21 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 00:46, 13 December 2023
- Axiomatic semantics of projection temporal logic programs 2010-12-01 Paper Operational semantics of Framed Tempura 2009-01-07 Paper Operational Semantics of Framed...10 bytes (17 words) - 18:25, 13 December 2023
- Paper The origins of structural operational semantics 2004-09-08 Paper A structural approach to operational semantics 2004-09-08 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 00:56, 10 December 2023
- mardi4nfdi.de/entity/Q5376659 2019-05-17 Paper A semantics preserving actor translation 2018-07-04 Paper The Semantics of Datalog for the Evidential Tool Bus 2014-03-25...10 bytes (18 words) - 18:25, 12 December 2023
- contextuality by probabilistic programs with hypergraph semantics 2018-12-04 Paper Syntax and operational semantics of a probabilistic programming language with scopes...10 bytes (19 words) - 10:24, 11 December 2023
- 1990-01-01 Paper A structural operational semantics for an Edison-like language 1986-01-01 Paper A structural operational semantics for an Edison like language...10 bytes (18 words) - 13:25, 11 December 2023
- de/entity/Q4858037 1995-12-11 Paper Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases 1995-07-27...10 bytes (21 words) - 01:52, 9 December 2023
- Dynamic Sub Processes 2019-12-19 Paper A stable non-interleaving early operational semantics for the pi-calculus 2019-06-20 Paper Replication, refinement \& reachability:...10 bytes (18 words) - 02:13, 10 December 2023
- 1997-03-19 Paper Resultant semantics for prolog 1997-02-17 Paper Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper https://portal...10 bytes (17 words) - 05:01, 13 December 2023
- and asynchronous networks of timed systems 2017-01-23 Paper A Full Operational Semantics for Asynchronous Relational Networks 2016-02-25 Paper Service-Oriented...10 bytes (19 words) - 19:56, 11 December 2023
- Well-behaved Translations between Structural Operational Semantics 2013-08-15 Paper Category theory for operational semantics 2005-01-11 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 01:41, 9 December 2023
- axiomatization 2005-02-22 Paper Nested semantics over finite trees are equationally hard 2004-08-06 Paper Structural operational semantics and bounded nondeterminism...10 bytes (19 words) - 15:23, 10 December 2023
- Refinement 2013-07-24 Paper Structural operational semantics through context-dependent behaviour 2011-09-12 Paper A semantics for behavior trees using CSP with...10 bytes (18 words) - 12:30, 28 January 2024
- expression-oriented language 1987-01-01 Paper Operational and denotational semantics of prolog 1987-01-01 Paper A denotational semantics for shared-memory parallelism...10 bytes (18 words) - 19:35, 8 December 2023
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language 2015-12-11 Paper Linking operational semantics and algebraic semantics for a probabilistic...10 bytes (18 words) - 08:58, 12 December 2023
