Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030500856, 9783030500863
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Derivation of Heard-of Predicates from Elementary Behavioral Patterns

2020 ◽  
pp. 133-149
Author(s):  
Adam Shimi ◽  
Aurélie Hurault ◽  
Philippe Queinnec
Keyword(s):  
Behavioral Patterns

scholarly journals On Implementable Timed Automata

2020 ◽  
pp. 78-95
Author(s):  
Sergio Feo-Arenis ◽  
Milan Vujinović ◽  
Bernd Westphal
Keyword(s):  
Timed Automata

scholarly journals Towards Bridging Time and Causal Reversibility

2020 ◽  
pp. 22-38
Author(s):  
Marco Bernardo ◽  
Claudio Antares Mezzina

scholarly journals Tutorial: Parameterized Verification with Byzantine Model Checker

2020 ◽  
pp. 189-207
Author(s):  
Igor Konnov ◽  
Marijana Lazić ◽  
Ilina Stoilkovska ◽  
Josef Widder
Keyword(s):  
Model Checker ◽  
Parameterized Verification

scholarly journals Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

2020 ◽  
pp. 39-58
Author(s):  
Eleni Bila ◽  
Simon Doherty ◽  
Brijesh Dongol ◽  
John Derrick ◽  
Gerhard Schellhorn ◽  
...  
Keyword(s):  
Transactional Memory ◽  
Software Transactional Memory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document