Search results
From MaRDI portal
- de/entity/Q6061671 2023-12-08 Paper The expressive power of Structural Operational Semantics with explicit assumptions 2023-12-08 Paper On the security...10 bytes (17 words) - 21:23, 11 December 2023
- 2014-09-05 Paper Bialgebraic Methods in Structural Operational Semantics 2013-12-13 Paper Structural operational semantics for stochastic and weighted transition...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
- Percolation theory for flow in porous media 2008-12-08 Paper Structural operational semantics for a portable subset of behavioral VHDL-93 2001-07-02 Paper...10 bytes (18 words) - 09:58, 8 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...10 bytes (18 words) - 13:25, 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...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
- Publication Date of Publication Type Implicit Propagation in Structural Operational Semantics 2016-06-03 Paper...10 bytes (18 words) - 03:38, 7 October 2023
- Type Flag-based big-step semantics 2017-03-20 Paper Generating Specialized Interpreters for Modular Structural Operational Semantics 2015-11-30 Paper Deriving...10 bytes (18 words) - 12:41, 7 October 2023
- Refinement 2013-07-24 Paper Structural operational semantics through context-dependent behaviour 2011-09-12 Paper A semantics for behavior trees using CSP...10 bytes (18 words) - 12:30, 28 January 2024
- 2007-09-11 Paper Compositionality of Hennessy-Milner logic by structural operational semantics 2006-04-28 Paper...10 bytes (18 words) - 03:32, 7 October 2023
- 2016-04-01 Paper Meaningful Models 2014-07-08 Paper Modular Structural Operational Semantics with Strategies 2013-12-13 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 00:59, 25 September 2023
- Total Variation Distance of Semi-Markov Chains 2015-10-01 Paper Structural operational semantics for continuous state stochastic transition systems 2015-04-28...10 bytes (17 words) - 10:35, 6 October 2023
- Denotational semantics for thread algebra 2008-02-04 Paper Deciding orthogonal bisimulation 2007-11-28 Paper Structural operational semantics and bounded...10 bytes (18 words) - 12:31, 24 September 2023
- with abstractions 2018-02-01 Paper Reasoning in Abella about Structural Operational Semantics Specifications 2016-05-06 Paper A two-level logic approach...10 bytes (16 words) - 03:45, 7 October 2023
- Publication Date of Publication Type Structural Operational Semantics with First-Order Logic 2016-06-03 Paper Automating Soundness Proofs 2016-06-03 Paper...10 bytes (20 words) - 19:45, 21 September 2023
- framework 2007-11-30 Paper Executable structural operational semantics in Maude 2006-04-28 Paper Two case studies of semantics execution in Maude: CCS and LOTOS...10 bytes (17 words) - 07:00, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4608678 2018-03-21 Paper Structural operational semantics for non-deterministic processes with quantitative aspects 2017-02-06...10 bytes (16 words) - 10:04, 6 October 2023
- 2000-08-14 Paper Bisimulation can't be traced 1998-02-02 Paper Structural operational semantics for weak bisimulations 1997-02-28 Paper Turning SOS rules into...10 bytes (16 words) - 07:04, 7 October 2023
- 2016-07-06 Paper Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 2016-03-23 Paper...10 bytes (18 words) - 19:33, 6 October 2023