Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. (English) Zbl 1496.68021
Lecture Notes in Computer Science 12136. Cham: Springer (ISBN 978-3-030-50085-6/pbk; 978-3-030-50086-3/ebook). xii, 237 p. (2020).
Show indexed articles as search result.
The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1410.68019].Indexed articles:
Bernardo, Marco; Mezzina, Claudio Antares, Towards bridging time and causal reversibility, 22-38 [Zbl 1511.68179]
Bila, Eleni; Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike, Defining and verifying durable opacity: correctness for persistent software transactional memory, 39-58 [Zbl 1511.68072]
Feo-Arenis, Sergio; Vujinović, Milan; Westphal, Bernd, On implementable timed automata, 78-95 [Zbl 1511.68029]
Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Steinmetz, Marcel, Deep statistical model checking, 96-114 [Zbl 1511.68157]
Minami, Kiraku, Trace equivalence and epistemic logic to express security properties, 115-132 [Zbl 1511.68185]
Shimi, Adam; Hurault, Aurélie; Queinnec, Philippe, Derivation of heard-of predicates from elementary behavioral patterns, 133-149 [Zbl 1511.68031]
Sproston, Jeremy, Probabilistic timed automata with one clock and initialised clock-dependent probabilities, 150-168 [Zbl 1511.68140]
MSC:
| 68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
| 68M14 | Distributed systems |
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
