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

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer International Publishing

9783319191942, 9783319191959

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Loop Freedom in AODVv2

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

10.1007/978-3-319-19195-9_7 ◽

2015 ◽

pp. 98-112 ◽

Author(s):

Kedar S. Namjoshi ◽

Richard J. Trefler

Download Full-text

Dynamic Causality in Event Structures

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

10.1007/978-3-319-19195-9_6 ◽

2015 ◽

pp. 83-97 ◽

Author(s):

Youssef Arbach ◽

David Karcher ◽

Kirstin Peters ◽

Uwe Nestmann

Keyword(s):

Event Structures

Download Full-text

Faster Linearizability Checking via P-Compositionality

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

10.1007/978-3-319-19195-9_4 ◽

2015 ◽

pp. 50-65 ◽

Author(s):

Alex Horn ◽

Daniel Kroening

Download Full-text

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

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

10.1007/978-3-319-19195-9_3 ◽

2015 ◽

pp. 35-49 ◽

Author(s):

Ritwika Ghosh ◽

Sayan Mitra

Keyword(s):

Distributed Algorithms ◽

Automatic Verification

Download Full-text

Simple Isolation for an Actor Abstract Machine

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

10.1007/978-3-319-19195-9_14 ◽

2015 ◽

pp. 213-227 ◽

Author(s):

Benoit Claudel ◽

Quentin Sabah ◽

Jean-Bernard Stefani

Keyword(s):

Abstract Machine

Download Full-text

Timely Dataflow: A Model

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

10.1007/978-3-319-19195-9_9 ◽

2015 ◽

pp. 131-145 ◽

Author(s):

Martín Abadi ◽

Michael Isard

Download Full-text

Compliance and Subtyping in Timed Session Types

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

10.1007/978-3-319-19195-9_11 ◽

2015 ◽

pp. 161-177 ◽

Author(s):

Massimo Bartoletti ◽

Tiziana Cimoli ◽

Maurizio Murgia ◽

Alessandro Sebastian Podda ◽

Livio Pompianu

Keyword(s):

Download Full-text

On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency

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

10.1007/978-3-319-19195-9_2 ◽

2015 ◽

pp. 19-34 ◽

Author(s):

Alex Horn ◽

Daniel Kroening

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Extending Testing Automata to All LTL

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

10.1007/978-3-319-19195-9_13 ◽

2015 ◽

pp. 196-210

Author(s):

Ala Eddine Ben Salem

Download Full-text

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection

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

10.1007/978-3-319-19195-9_15 ◽

2015 ◽

pp. 228-243 ◽

Author(s):

Dirk Beyer ◽

Stefan Löwe ◽

Philipp Wendler

Download Full-text