Towards specification and proof of asynchronous systems

STACS 86 - Lecture Notes in Computer Science ◽

10.1007/3-540-16078-7_82 ◽

1986 ◽

pp. 262-276 ◽

Author(s):

B. Gamatie

Keyword(s):

Asynchronous Systems

Download Full-text

The reactive simulatability (RSIM) framework for asynchronous systems

Information and Computation ◽

10.1016/j.ic.2007.05.002 ◽

2007 ◽

Vol 205 (12) ◽

pp. 1685-1720 ◽

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Keyword(s):

Asynchronous Systems ◽

Reactive Simulatability

Download Full-text

Exception Handling in Timed Asynchronous Systems

Concurrency in Dependable Computing ◽

10.1007/978-1-4757-3573-4_11 ◽

2002 ◽

pp. 209-227 ◽

Author(s):

Robert Miller ◽

Anand Tripathi

Keyword(s):

Exception Handling ◽

Asynchronous Systems

Download Full-text

Accelerating Markovian analysis of asynchronous systems using state compression

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.771173 ◽

1999 ◽

Vol 18 (7) ◽

pp. 869-888 ◽

Author(s):

Aiguo Xie ◽

P.A. Beerel

Keyword(s):

Asynchronous Systems ◽

Markovian Analysis

Download Full-text

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems

10.1109/icdcs.2009.16 ◽

2009 ◽

Author(s):

Paul Johnson ◽

Neeraj Mittal

Keyword(s):

Detection Algorithm ◽

Asynchronous Systems ◽

Termination Detection ◽

Distributed Termination Detection

Download Full-text

A precoded multiuser OFDM (PMU-OFDM) transceiver for time asynchronous systems

GLOBECOM '05. IEEE Global Telecommunications Conference, 2005. ◽

10.1109/glocom.2005.1578057 ◽

2005 ◽

Author(s):

Shang-Ho Tsai ◽

Yuan-Pei Lin ◽

C.-C.J. Kuo

Keyword(s):

Asynchronous Systems ◽

Download Full-text

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

Signal Processing ◽

10.1016/s0165-1684(97)00096-0 ◽

1997 ◽

Vol 61 (2) ◽

pp. 101-111

Author(s):

Ángel M. Bravo

Keyword(s):

Asynchronous Systems ◽

Decorrelating Detector ◽

Download Full-text

Quorum Based Mutual Exclusion in Asynchronous Systems with Unreliable Failure Detectors

2010 Seventh International Conference on Information Technology: New Generations ◽

10.1109/itng.2010.236 ◽

2010 ◽

Author(s):

Sung-Hoon Park ◽

Yoon Kim ◽

Jong-Ho Han ◽

Jong-Sul Park

Keyword(s):

Mutual Exclusion ◽

Asynchronous Systems ◽

Failure Detectors ◽

Unreliable Failure Detectors

Download Full-text

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

Theoretical Computer Science ◽

10.1016/j.tcs.2012.06.030 ◽

2013 ◽

Vol 512 ◽

pp. 130-142 ◽

Author(s):

Damien Imbs ◽

Michel Raynal

Keyword(s):

Asynchronous Systems ◽

Failure Detector

Download Full-text

Asynchronous Systems of Parallel Communicating Finite Automata

Fundamenta Informaticae ◽

10.3233/fi-2015-1149 ◽

2015 ◽

Vol 136 (1-2) ◽

pp. 177-197 ◽

Author(s):

Marcel Vollweiler

Keyword(s):

Finite Automata ◽

Asynchronous Systems

Download Full-text

Using Lightweight Theorem Proving in an Asynchronous Systems Context

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-06200-6_12 ◽

2014 ◽

pp. 158-172

Author(s):

Matthew Danish ◽

Hongwei Xi

Keyword(s):

Theorem Proving ◽

Asynchronous Systems

Download Full-text