„operational semantics“

Suchergebnisse

1.000+ Treffer

• An operational semantics for the extended compliance rule graph language
  Knuplesch, David ; Reichert, Manfred 2017 Universität Ulm
• Program equivalence for a concurrent lambda calculus with futures
  Niehren, Joachim ; Sabel, David ; Schmidt-Schauß, Manfred ; Schwinghammer, Jan 2006 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main
• Operational and denotational semantics for the box algebra
  Best, Eike ; Koutny, Maciej 1995 Inst. für Informatik
• Analysis of cognitive models in constraint handling rules
  Gall, Daniel 2021 Universität Ulm
• Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
  Soden, Michael ; Fischer, Joachim ; Schlingloff, Holger ; Prinz, Andreas 2015 Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
• Supporting business process fragmentation while maintaining operational semantics – a BPEL perspective
  Khalaf, Rania Y. 2008 dissertation.de
• Coalgebraic Methods in Computer Science – 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
  Bonsangue, Marcello M. 2016 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Coalgebraic Methods in Computer Science – 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
  2014 Springer International Publishing
• Coalgebraic Methods in Computer Science – 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  Pattinson, Dirk ; Schröder, Lutz 2012 Springer Berlin Heidelberg
• Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates
  Aceto, Luca ; Caltais, Georgiana ; Goriac, Eugen-Ioan ; Anna Ingólfsdóttir 2011 KOPS Universität Konstanz
• Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
  Buth, Karl-Heinz 1994 Universitätsbibliothek Kiel