An algebraic theory of interface automata
type: Item
instance of: scholarly article
title: An algebraic theory of interface automata
zbMATH Open document ID: 1360.68608
author: Chris Chilton
author: Bengt Jonsson
author: Marta Kwiatkowska
published in: Theoretical Computer Science
publication date: 2014-08-27T00:00:00Z
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6334962
zbMATH Keywords: component-based design
zbMATH Keywords: interfaces
zbMATH Keywords: specification theory
zbMATH Keywords: compositionality
zbMATH Keywords: refinement
zbMATH Keywords: substitutivity
zbMATH Keywords: synthesis
MaRDI profile type: Publication
full work available at URL: j.tcs.2014.07.018
OpenAlex ID: W2143787859
cites work: Learning I/O Automata
cites work: Q5692280
cites work: Interface synthesis and protocol conversion
cites work: A Theory of Communicating Sequential Processes
cites work: A Compositional Specification Theory for Component Behaviours
cites work: Revisiting Timed Specification Theories: A Linear-Time Perspective
cites work: A process algebraic view of input/output automata
cites work: Q3777424
cites work: Q3359755
cites work: Receptive process theory
cites work: Q5295513
cites work: Modal I/O Automata for Interface and Product Line Theories
cites work: Conjunction on processes: Full abstraction via ready-tree semantics
cites work: Ready simulation for concurrency: it's logical!
cites work: Q3833630
cites work: A calculus of communicating systems
cites work: Q4536603
cites work: A modal interface theory for component-based design
cites work: A note on fairness in I/O automata
cites work: Quiescence, fairness, testing, and the notion of implementation
cites work: Q4289325
DOI: 10.1016/J.TCS.2014.07.018
Recommended article: Automated Technology for Verification and Analysis
Recommended article: Q5537385
Recommended article: Q5659467
Recommended article: A generalised theory of interface automata, component compatibility and error
Recommended article: A Generalised Theory of Interface Automata, Component Compatibility and Error
Recommended article: Algebraic structures of automata
Recommended article: Automata algebras
Recommended article: Automata and algebraicity
Recommended article: Q4874786
Recommended article: Q5172164
description: scientific article; zbMATH DE number 6334962