scholarly journals Towards specification and proof of asynchronous systems

1986 ◽  
pp. 262-276 ◽  
Author(s):  
B. Gamatie
Keyword(s):  
Asynchronous Systems

scholarly journals The reactive simulatability (RSIM) framework for asynchronous systems

2007 ◽  
Vol 205 (12) ◽  
pp. 1685-1720 ◽  
Author(s):  
Michael Backes ◽  
Birgit Pfitzmann ◽  
Michael Waidner
Keyword(s):  
Asynchronous Systems ◽  
Reactive Simulatability

Exception Handling in Timed Asynchronous Systems

2002 ◽  
pp. 209-227 ◽  
Author(s):  
Robert Miller ◽  
Anand Tripathi
Keyword(s):  
Exception Handling ◽  
Asynchronous Systems

Accelerating Markovian analysis of asynchronous systems using state compression

1999 ◽  
Vol 18 (7) ◽  
pp. 869-888 ◽  
Author(s):  
Aiguo Xie ◽  
P.A. Beerel
Keyword(s):  
Asynchronous Systems ◽  
Markovian Analysis

Shortened time-invariant decorrelating detector for DS/CDMA asynchronous systems

1997 ◽  
Vol 61 (2) ◽  
pp. 101-111
Author(s):  
Ángel M. Bravo
Keyword(s):  
Asynchronous Systems ◽  
Decorrelating Detector ◽  
Time Invariant

scholarly journals The weakest failure detector to implement a register in asynchronous systems with hybrid communication

2013 ◽  
Vol 512 ◽  
pp. 130-142 ◽  
Author(s):  
Damien Imbs ◽  
Michel Raynal
Keyword(s):  
Asynchronous Systems ◽  
Failure Detector

Asynchronous Systems of Parallel Communicating Finite Automata

2015 ◽  
Vol 136 (1-2) ◽  
pp. 177-197 ◽  
Author(s):  
Marcel Vollweiler
Keyword(s):  
Finite Automata ◽  
Asynchronous Systems

Using Lightweight Theorem Proving in an Asynchronous Systems Context

2014 ◽  
pp. 158-172
Author(s):  
Matthew Danish ◽  
Hongwei Xi
Keyword(s):  
Theorem Proving ◽  
Asynchronous Systems
Sign in / Sign up

Export Citation Format

Share Document