Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
An Input/Output Automaton is an automaton with a finite number of states where each transition is associated with a single inpu f… Expand
  • figure 1
  • figure 2
Is this relevant?
2007
2007
We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata… Expand
  • 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… Expand
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
2005
2005
This work discusses the evolution of W-LANs from their current status of wireless termination of LAN services to a possible… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2001
2001
We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
textabstractWe propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1990
1990
It is proved that any protocol that constructs a reliable data link service using an unreliable physical channel service… Expand
Is this relevant?