An Algebraic Theory of Interface Automata

An Algebraic Theory of Interface Automata

We formulate a compositional specification theory for interface automata, where a component model specifies the allowed sequences of input and output interactions with the environment. A trace-based linear-time refinement is provided, which is the weakest preorder preserving substitutivity of compon...

Full description

Bibliographic Details
Main Authors:	Chilton, C, Jonsson, B, Kwiatkowska, M
Format:	Report
Published:	DCS 2013

Similar Items

Algebraic theory of automata and languages /
by: Masami Ito, 1941-
Published: (2004)

Algebraic structures in automata and databases theory /
by: Plotkin, B. I. (Boris Isaakovich), et al.
Published: (1992)

Structural Theory of Automata‚ Semigroups‚ and Universal Algebra
by: Krokhin, A, et al.
Published: (2003)

Algebras with actions and automata
by: W. Kühnel, et al.
Published: (1982-01-01)

Finite state automata in the theory of algebraic program schemata
by: R. I. Podlovchenko
Published: (2018-10-01)

Graph algebras and automata /
by: 435757 Kelarev, Andrei
Published: (2003)

A compositional specification theory for component behaviours
by: Chen, T, et al.
Published: (2012)

A Compositional Specification Theory for Component Behaviours
by: Chen, T, et al.
Published: (2012)

An algebraic theory of componentised interaction
by: Chilton, C
Published: (2013)

Modal Interface Automata
by: Gerald Lüttgen, et al.
Published: (2013-08-01)

Interface Automata for Choreographies
by: Hao Zeng, et al.
Published: (2019-09-01)

Algebraic invariants for linear hybrid automata
by: Majumdar, R, et al.
Published: (2020)

Position Automata for Kleene Algebra with Tests
by: A. Silva
Published: (2012-12-01)

Algebraic study of fuzzy finite switchboard automata
by: Ebas, Nur Ain
Published: (2020)

Automata theory/
by: Caianiello, Eduardo R., 1921-, et al.
Published: (1966)

Theory of automata /
by: 459218 Salomaa, Arto
Published: (1969)

A Process Algebraic View of I/O Automata
by: Segala, Roberto
Published: (2023)

Fault-Free Refinements for Interface Automata
by: A. Schinko, et al.
Published: (2018-12-01)

Concavely−Priced Probabilistic Timed Automata
by: Kwiatkowska, G, et al.
Published: (2009)

Computability Theory & Automata Theory /
by: Plante, Kristy, author 640020, et al.
Published: (2012)

Applied automata theory /
by: Tou, Julius T., 1926-
Published: (1968)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
by: Jurdzinski, M, et al.
Published: (2009)

On Semi-Vector Spaces and Semi-Algebras with Applications in Fuzzy Automata
by: Giuliano G. La Guardia, et al.
Published: (2024-05-01)

Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA
by: Dmitry Gapanovich, et al.
Published: (2022-10-01)

Coalgebraic Automata Theory: Basic Results
by: C. Kupke, et al.
Published: (2008-11-01)

Switching and finite automata theory /
by: 458002 Kohavi, Zvi
Published: (1978)

Switching and finite automata theory /
by: 458002 Kohavi, Zvi
Published: (1970)

Automata theory : machines and languages /
by: 457711 Kain, Richard Y.
Published: (1972)

Cryptography, automata and learning theory /
by: Thomas, D. Gnanaraj, et al.
Published: (c201)

Theory of automata, languages and computation /
by: 514760 Kumar, Rajendra
Published: (c201)

Modern applications of automata theory /
by: D'souza, Deepak, et al.
Published: (2012)

Combinatorics, automata, and number theory /
by: Berthe, V. (Valerie), 1957-, et al.
Published: (c201)

Automata theory : an engineering approach/
by: 176698 Aleksander, Igor, et al.
Published: (1975)

Discrete structures and automata theory
by: 383292 Dube, Rakesh, et al.
Published: (2006)

Automata theory in nominal sets
by: Mikołaj Bojańczyk, et al.
Published: (2014-08-01)

Cryptography using Automata Theory
by: Vayadande Kuldeep, et al.
Published: (2022-01-01)

Uniform sampling for timed automata with application to language inclusion measurement
by: Kwiatkowska, M, et al.
Published: (2016)

Fuzzy switching and automata : theory and applications /
by: 405730 Kandel, Abraham, et al.
Published: (1979)

Finite automata over algebraic structures: models and some methods of analysis
by: Volodymyr V. Skobelev, et al.
Published: (2015-10-01)

Evolution of probability measures by cellular automata on algebraic topological Markov chains
by: ALEJANDRO MAASS, et al.
Published: (2003-01-01)