„concurrent programs“

Suchergebnisse

1.000+ Treffer

• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• Generalized equivalence checking of concurrent programs
  Bisping, Benjamin ; Nestmann, Uwe ; van Glabbeek, Rob J. ; Groote, Jan Friso 2025 Technische Universität Berlin
• Rely guarantee method for verifying shared variable concurrent programs
  Xu, Qiwen ; Roever, Willem-Paul ˜deœ ; He, Jifeng 1995 Inst. für Informatik und Praktische Mathematik
• Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
  Grahl, Daniel ; Beckert, B. 2015 KIT-Bibliothek
• Temporal assertions for sequential and concurrent programs
  Stolz, Volker 2007 RWTH Aachen
• Synthesis of Synchronous Programs to Parallel Software Architectures
  Baudisch, Daniel ; Schneider, Klaus 2014 Technische Universität Kaiserslautern
• Slicing of Concurrent Programs and its Application to Information Flow Control
  Giffhorn, Dennis ; Snelting, G. 2012 KIT-Bibliothek
• Advanced Slicing of Sequential and Concurrent Programs
  Krinke, Jens 2008 VDM Verlag Dr. Müller
• On the formal foundation of a verification approach for system-level concurrent programs
  Daum, Matthias
• Advanced slicing of sequential and concurrent programs
  Krinke, Jens
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
• Central European Functional Programming School – 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer Berlin Heidelberg
• Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs – Endbericht
  Chavdar, Marinov ; Edelkamp, Stefan ; Goloub, Alexander ; Jabbar, Shahid ; Kellershoff, Mark ; Liu, Yang ; Mehler, T. ; Midzic, Dino ; Milouchev, Goran ; Rikowski, Daniel ; Sulewski, Damian ; Tamokoue, Eric ; Zakaria, Yfrah 2007 Universitätsbibliothek Dortmund
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Verification of Sequential and Concurrent Programs
  2009 Springer London
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes: Communication - Cooperation - Competition
  Maurer, Christian 2021 Springer Fachmedien Wiesbaden
• Denotational Semantics for Probabilistic and Concurrent Programs
  Zilberstein, Noam ; Gorla, Daniele ; Silva, Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transactions on Petri Nets and Other Models of Concurrency XV
  Koutny, Maciej 2021 Springer International Publishing