Interface theories for concurrency and data
type: Item
instance of: scholarly article
title: Interface theories for concurrency and data
zbMATH Open document ID: 1216.68187
author: Sebastian S. Bauer
author: Rolf Hennicker
author: Martin Wirsing
published in: Theoretical Computer Science
publication date: 2011-07-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5918229
zbMATH Keywords: component-based design
zbMATH Keywords: interface theory
zbMATH Keywords: modal input/output automata
zbMATH Keywords: pre- and postcondition
zbMATH Keywords: compositionality
zbMATH Keywords: refinement
zbMATH Keywords: compatibility
describes a project that uses: Circus
describes a project that uses: MIO Workbench
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.04.007
OpenAlex ID: W2087192990
cites work: A Modal Interface Theory with Data Constraints
cites work: Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8--11, 2010. Revised selected papers
cites work: On Weak Modal Compatibility, Refinement, and the MIO Workbench
cites work: On determinism in modal transition systems
cites work: Q3912001
cites work: An Interface Group for Process Components
cites work: Frontiers of Combining Systems
cites work: Q4473719
cites work: Institutions: abstract model theory for specification and programming
cites work: Causal message sequence charts
cites work: Proof of correctness of data representations
cites work: Q4732449
cites work: Modal I/O Automata for Interface and Product Line Theories
cites work: On Modal Refinement and Consistency
cites work: Q3992568
cites work: Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24--26, 2010. Revised selected papers
cites work: A modal interface theory for component-based design
cites work: Q4808845
cites work: Q4385539
cites work: Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
cites work: Q4472182
DOI: 10.1016/J.TCS.2011.04.007
description: scientific article; zbMATH DE number 5918229