„Operational Semantics“

Suchergebnisse

148 Treffer

• Data Consistency in Transactional Storage Systems: A Centralised Semantics
  Xiong, Shale ; Cerone, Andrea ; Raad, Azalea ; Gardner, Philippa 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Semantics for the Essence of React
  Madsen, Magnus ; Lhoták, Ondřej ; Tip, Frank 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sound Regular Corecursion in coFJ
  Ancona, Davide ; Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bialgebraic Semantics for String Diagrams
  Bonchi, Filippo ; Piedeleu, Robin ; Sobocinski, Pawel ; Zanasi, Fabio 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
  Lopez, Aliaume ; Simpson, Alex 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling Infinite Behaviour by Corules
  Ancona, Davide ; Dagnino, Francesco ; Zucca, Elena 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Completeness of BCD for an Operational Semantics
  Statman, Richard 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement for Signal Flow Graphs
  Bonchi, Filippo ; Holland, Joshua ; Pavlovic, Dusko ; Sobocinski, Pawel 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Precongruence Formats with Lookahead through Modal Decomposition
  Fokkink, Wan ; van Glabbeek, Rob J. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Diagrammatic Semantics for Digital Circuits
  Ghica, Dan R. ; Jung, Achim ; Lopez, Aliaume 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• muPuppet: A Declarative Subset of the Puppet Configuration Language
  Fu, Weili ; Perera, Roly ; Anderson, Paul ; Cheney, James 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Certified Study of a Reversible Programming Language
  Paolini, Luca ; Piccolo, Mauro ; Roversi, Luca 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
  Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Presenting Morphisms of Distributive Laws
  Klin, Bartek ; Nachyla, Beata 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bisimilarity in Concurrent Constraint Programming
  Aristizabal P., Andres A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formalizing Bialgebraic Semantics in PVS 6.0
  Smetsers, Sjaak ; Madlener, Ken ; van Eekelen, Marko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas
• Coalgebraic methods in computer science – 12th IFIP WG 1.3 international workshop ; revised selected papers
  Bonsangue, Marcello M. 2014 Springer
• Coalgebraic methods in computer science – 11th international workshop ; revised selected papers
  Pattinson, Dirk ; Schröder, Lutz 2012 Springer