„Bisimulation“

Suchergebnisse

1.000+ Treffer

• On the Parallel Complexity of Bisimulation on Finite Systems
  Ganardi, Moses ; Göller, Stefan ; Lohrey, Markus 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Behavioural Inequivalence Generically in Quasilinear Time
  Wißmann, Thorsten ; Milius, Stefan ; Schröder, Lutz 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Spectrum of Approximate Probabilistic Bisimulations
  Spork, Timm ; Baier, Christel ; Katoen, Joost-Pieter ; Piribauer, Jakob ; Quatmann, Tim 2024 Universitätsbibliothek der RWTH Aachen
• A Spectrum of Approximate Probabilistic Bisimulations
  Spork, Timm ; Baier, Christel ; Katoen, Joost-Pieter ; Piribauer, Jakob ; Quatmann, Tim 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stochastic transition systems: bisimulation, logic, and composition
  Gburek, Daniel ; Baier, Christel ; Panangaden, Prakash 2018 Technische Universität Dresden
• Simulation in the call-by-need lambda-calculus with letrec
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2010 Universitätsbibliothek Johann Christian Senckenberg
• Congruence proofs for weak bisimulation equivalences on higher order process calculi
  Baldamus, Michael ; Frauenstein, Thomas 1995 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• System Verification Via Generic Games – Behavioural Equivalence and Model Checking Games
  Mika-Michalski, Christina ; König, Barbara 2022 Universität Duisburg-Essen
• Conception and evaluation of e-learning units regarding motivation and acquired competencies for theoretical computer science at university level – studies on the topics of automata theory, bisimulation and fixed point theory
  Wilhelm, Arno ; Nestmann, Uwe ; Schroeder, Ulrik ; Bergner, Nadine ; Pinkwart, Niels 2020 Technische Universität Berlin
• 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
• Symbolische Methoden für die probabilistische Verifikation – Zustandsraumreduktion und Gegenbeispiele
  Wimmer, Ralf
• A formal fault model for component based models of embedded systems
  Fischer, Marco
• Guarded logics: algorithms and bisimulation
  Hirsch, Colin
• Über abstrakte Charakterisierungen von Bisimulation
  Roggenbach, Markus
• 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
• 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
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Programming languages and systems – 6th Asian symposium ; proceedings
  Ramalingam, Ganesan 2008 Springer
• Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
  Spork, Timm ; Baier, Christel ; Katoen, Joost-Pieter ; Klüppelholz, Sascha ; Piribauer, Jakob 2025 Universitätsbibliothek der RWTH Aachen
• Principles of Markov automata
  Eisentraut, Christian Georg ; Hermanns, Holger 2018 Saarländische Universitäts- und Landesbibliothek