![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
42nd FORTE 2022: Lucca, Italy
- Mohammad Reza Mousavi
, Anna Philippou:
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Lecture Notes in Computer Science 13273, Springer 2022, ISBN 978-3-031-08678-6 - Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring Hyperproperties with Circuits. 1-10 - Hamed Arshad
, Ross Horne
, Christian Johansen
, Olaf Owe
, Tim A. C. Willemse
:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. 11-30 - Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. 31-49 - Benedikt Bollig
, Alain Finkel
, Amrita Suresh
:
Branch-Well-Structured Transition Systems and Extensions. 50-66 - Bineet Ghosh
, Étienne André
:
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. 67-87 - Rajesh Kumar
, Siddhant Singh, Bhavesh Narra, Rohan Kela:
Co-engineering Safety-Security Using Statistical Model Checking. 88-92 - Kirstin Peters
, Uwe Nestmann
, Christoph Wagner:
Fault-Tolerant Multiparty Session Types. 93-113 - Florian Renkin
, Philipp Schlehuber-Caissier
, Alexandre Duret-Lutz
, Adrien Pommellet
:
Effective Reductions of Mealy Machines. 114-130 - Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. 131-150 - Anna Schmitt
, Kirstin Peters
, Yuxin Deng
:
Encodability Criteria for Quantum Based Systems. 151-169 - Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. 170-187 - Germán Vidal
:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. 188-207
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.