„Prozessalgebra“

Suchergebnisse

1.000+ Treffer

• Algebra of communicating processes – proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
  Ponse, Alban 1995 Springer
• Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting
  Soltanieh, Amin 2023 Verlag Dr. Hut
• Verification of Data-Value-Aware Process Models
  Ordoni, Elaheh ; Böhm, Klemens ; Oberweis, Andreas 2025 KIT-Bibliothek
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker
• A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment
  Riedl, Martin ; Siegle, Markus ; Kounev, Samuel 2014 Universitätsbibliothek der Universität der Bundeswehr München
• Formalisierung von Fertigungsprozessen – Eine formale Beschreibung von Fertigungsprozessen mit der Prozessalgebra CCS
  Hüster, Marco 2008 VDM Verlag Dr. Müller
• Query workflows over web data sources
  Hornung, Thomas Daniel
• A formal fault model for component based models of embedded systems
  Fischer, Marco
• Verifying concurrent systems with symbolic execution – temporal reasoning is symbolic execution with a little induction
  Balser, Michael
• Symbolic semantics and verification of stochastic process algebras – = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
  Kuntz, Matthias
• Action refinement in end-based choice settings
  Fecher, Harald
• Automatic verification of sequential infinite state processes
  Burkart, Olaf 1999 Springer
• Compositional solution of stochastic process algebra models
  Bohnenkamp, Henrik
• Symbolische LTL-Verifikation von Petrinetzen
  Spranger, Jochen
• Verification in the hierarchical development of reactive systems
  Salger, Frank
• Intensional equality for process calculi based on ε-structures [epsilon-structures]
  Pooyan-Weihs, Ladan
• Fairneß, Randomisierung und Konspiration in verteilten Algorithmen
  Völzer, Hagen
• Dynamische Modelle für reaktive Systeme mit Daten
  Gehrke, Thomas
• Programming Languages and Systems – 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
  2019 Springer International Publishing
• Trustworthy Global Computing – Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
  Montanari, Ugo 2007 Springer International Publishing