„Operational Semantics“

Suchergebnisse

148 Treffer

• Sound semantics of a high-level language with interprocessor interrupts
  Pentchev, Hristo ; Paul, Wolfgang J. 2016 Saarländische Universitäts- und Landesbibliothek
• From sequential to multi-threaded Java: an event-based operational semantics
  Cenciarelli, Pietro ; Knapp, Alexander ; Reus, Bernhard ; Wirsing, Martin 1997 Universität Augsburg
• A logical operational semantics of full Prolog
  Börger, Egon IWBS
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Verification of Business Rules Programs
  2014 Springer Berlin Heidelberg
• Operational semantics and verification of security protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer
• Operational Semantics and Verification of Security Protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin
• Operational Semantics and Verification of Security Protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin Heidelberg
• Syntax and Semantics of Graphs – An approach to the specification of visual notations for discrete-event systems
  Janneck, Jörn W. 2000 Shaker
• Rule Formats for Nominal Process Calculi
  Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Anna Ingólfsdóttir ; Ortega-Mallén, Yolanda 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An event-based structural operational semantics of multi-threaded Java
  Cenciarelli, Pietro ; Knapp, Alexander ; Reus, Bernhard ; Wirsing, Martin 1999 Universität Augsburg
• Divide and Congruence III: Stability & Divergence
  Fokkink, Willem J. ; van Glabbeek, Rob ; Luttik, Bas 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Object Inheritance Without Classes
  Jones, Timothy ; Homer, Michael ; Noble, James ; Bruce, Kim 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Failure Transparency in Stateful Dataflow Systems
  Veresov, Aleksey ; Spenger, Jonas ; Carbone, Paris ; Haller, Philipp 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Operational Semantics in Isabelle/HOL-CSP
  Ballenghien, Benoît ; Wolff, Burkhart 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Homogeneous Generative Meta-Programming
  Berger, Martin ; Tratt, Laurence ; Urban, Christian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Theory for Quantum λ-Calculus
  Faggian, Claudia ; Lopez, Gaetan ; Valiron, Benoît 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Step-Indexed Biorthogonality: a Tutorial Example
  Pitts, Andrew M.
• GOAL Agents Instantiate Intention Logic
  Hindriks, Koen ; van der Hoek, Wiebe
• Direct Foundations for Compositional Programming (Artifact)
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.