Simulation relations for fault-tolerance (English)
- New search for: Demasi, Ramiro
- New search for: Castro, Pablo F.
- New search for: Maibaum, Thomas S. E.
- New search for: Aguirre, Nazareno
- New search for: Demasi, Ramiro
- New search for: Castro, Pablo F.
- New search for: Maibaum, Thomas S. E.
- New search for: Aguirre, Nazareno
In:
Formal Aspects of Computing
;
29
, 6
; 1013-1050
;
2017
-
ISSN:
- Article (Journal) / Print
-
Title:Simulation relations for fault-tolerance
-
Contributors:Demasi, Ramiro ( author ) / Castro, Pablo F. ( author ) / Maibaum, Thomas S. E. ( author ) / Aguirre, Nazareno ( author )
-
Published in:Formal Aspects of Computing ; 29, 6 ; 1013-1050
-
Publisher:
- New search for: Springer London
- New search for: Springer
-
Place of publication:London
-
Publication date:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 000/3155
- New search for: 54.10 / 54.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 29, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 933
-
Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017)| 2017
- 935
-
Relating trace refinement and linearizabilitySmith, Graeme / Winter, Kirsten et al. | 2017
- 951
-
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluationNazarpour, Hosein / Falcone, Yliès / Bensalem, Saddek / Bozga, Marius et al. | 2017
- 987
-
A verification and deployment approach for elastic component-based applicationsGraiet, Mohamed / Hamel, Lazhar / Mammar, Amel / Tata, Samir et al. | 2017
- 1013
-
Simulation relations for fault-toleranceDemasi, Ramiro / Castro, Pablo F. / Maibaum, Thomas S. E. / Aguirre, Nazareno et al. | 2017
- 1051
-
Modeling and efficient verification of wireless ad hoc networksYousefi, Behnaz / Ghassemi, Fatemeh / Khosravi, Ramtin et al. | 2017
- 1087
-
Dynamic intransitive noninterference revisitedEggert, Sebastian / van der Meyden, Ron et al. | 2017
- 1121
-
The Turing GuideJones, Cliff B. et al. | 2017