„concurrent specification“

Suchergebnisse

1.000+ Treffer

• Specification and Verification of Concurrent Systems
  Rattray, Charles 1990 Springer London
• Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
  Aoki, Toshiaki ; Taguchi, Kenji 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
• Correction: Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence
  Freijeiro-González, Laura ; Febrero-Bande, Manuel ; González-Manteiga, Wenceslao
• Correction to: An integrated specification and verification technique for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• The Temporal Logic of Reactive and Concurrent Systems – Specification
  Manna, Zohar ; Pnueli, Amir 1992 Springer New York
• Hyperproperty-Preserving Register Specifications
  Ben Shimon, Yoav ; Lahav, Ori ; Shoham, Sharon 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• AMECOS: A Modular Event-Based Framework for Concurrent Object Specification
  Albouy, Timothé ; Fernández Anta, Antonio ; Georgiou, Chryssis ; Gestin, Mathieu ; Nicolaou, Nicolas ; Wang, Junlang 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)
  Broy, Manfred ; Deussen, Peter ; Olderog, Ernst-Rüdiger ; de Roever, Willem-Paul 1991 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 09361 Abstracts Collection – Design and Validation of Concurrent Systems
  Flanagan, Cormac ; Graf, Susanne ; Parthasarathy, Madhusan ; Quadeer, Shaz
• Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers
  Johnen, Colette ; Khattabi, Adnane ; Milani, Alessia 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk)
  Rajsbaum, Sergio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concurrent Specifications Beyond Linearizability
  Goubault, Éric ; Ledent, Jérémy ; Mimram, Samuel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: On the Impossibility of Detecting Concurrency
  Goubault, Éric ; Ledent, Jérémy ; Mimram, Samuel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Specification of POSIX File Systems
  Ntzik, Gian ; da Rocha Pinto, Pedro ; Sutherland, Julian ; Gardner, Philippa 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Object-Oriented Technology
  Alagić, Suad 2015 Springer International Publishing
• Specification, Algebra, and Software – Essays Dedicated to Kokichi Futatsugi
  Iida, Shusaku ; Futatsugi, Kokichi ; Meseguer, José ; Ogata, Kazuhiro 2014 Springer International Publishing
• Specification, algebra, and software – essays dedicated to Kokichi Futatsugi
  Iida, Shusaku ; Futatsugi, Kokichi ; Meseguer, José ; Ogata, Kazuhiro 2014 Springer
• The temporal logic of reactive and concurrent systems – specification
  Manna, Zohar ; Pnueli, Amir 1992 Springer
• Specification techniques for concurrent and distributed systems
  Ehrig, Hartmut ; Große-Rhode, Martin ; Heise, Andreas 1992 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4