Encodability Criteria for Quantum Based Systems
Gespeichert in:
| Veröffentlicht in: | IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2 | 2022 | Arshad, Hamed |
| Co-engineering Safety-Security Using Statistical Model Checking | 2022 | Kumar, Rajesh |
| Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems | 2022 | Ghosh, Bineet |
| Fault-Tolerant Multiparty Session Types | 2022 | Peters, Kirstin |
| Traits: Correctness-by-Construction for Free | 2022 | Runge, Tobias |
| Monitoring Hyperproperties with Circuits | 2022 | Aceto, Luca |
| LTL Under Reductions with Weaker Conditions Than Stutter Invarıance | 2022 | Paviot-Adet, Emmanuel |
| Effective Reductions of Mealy Machines | 2022 | Renkin, Florian |
| Encodability Criteria for Quantum Based Systems | 2022 | Schmitt, Anna |
| Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives | 2022 | Vidal, Germán |
| The Reversible Temporal Process Language | 2022 | Bocchi, Laura |
| Branch-Well-Structured Transition Systems and Extensions | 2022 | Bollig, Benedikt |