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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

A tracking control framework for plants modeled by deterministic I/O automata is presented. The control aim is to steer the plant…

2011

Complex distributed algorithms become running systems through an integration with optimizations that target the system’s…

2009

In this master thesis we investigate to infer models of standard communication protocols using automata learning techniques. One…

2007

The Programmers' Playground is a programming environment that supports end-user construction of distributed multimedia…

2007

A uniied model of distributed systems that accommodates both shared-memory and message-passing communication is proposed. An…

2005

Prefetching is an important technique for single Web server to reduce the average Web access latency and applying it on cluster…

2004

This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling…

1999

This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in…

1996

1989

This paper presents a concurrency control algorithm for nested transactions accessing B-trees. It combines the idea of B-link…