Input/output automaton

Known as: I/O automaton 
Input/output automata provide a formal model, applicable in describing most types of asynchronous concurrent system. On its own, the I/O automaton… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2016
0246819872016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Correctness of recent database replication protocols has been justified in a rather informal way focusing only in safety… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2007
2007
We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
This paper presents an assertional-style verification of the aircraft landing protocol of NASA’s SATS (Small Aircraft… (More)
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 7
  • figure 10
Is this relevant?
2002
2002
We describe a tool that improves the process of verifying relations between descriptions of a distributed algorithm at different… (More)
Is this relevant?
2001
2001
We present a mathematical state-machine model, the <i>Dynamic I/O Automaton (DIOA) model</i>, for defining and analyzing <i… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Recently various real-time communication protocols have been proposed. In this paper, first, we propose a timed I/O automaton… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
ion Automaton ALU Manager Process Figure 24: Kernel Level model with Abstraction Automaton 54 Abstraction Automata Signature… (More)
  • figure 9
  • figure 13
  • figure 16
  • figure 21
  • figure 24
Is this relevant?
1999
1999
This talk describes progress in a current project on modeling and analyzing the TCAS II aircraft collision-avoidance system. The… (More)
Is this relevant?
1996
1996
Notions of weak and strong fairness are studied in the setting of the I/O automaton model of Lynch & Tuttle. The concept of a… (More)
Is this relevant?