Abstract behavior types: a foundation model for components and their composition
From MaRDI portal
Publication:1776573
DOI10.1016/j.scico.2004.05.010zbMath1075.68014OpenAlexW2054872319MaRDI QIDQ1776573
Publication date: 12 May 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/4148
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Protocol scheduling, Event algebra for transition systems composition application to timed automata, Comparing three coordination models: Reo, ARC, and PBRD, A model of context-dependent component connectors, Data optimizations for constraint automata, CPO semantics of timed interactive actor networks, Channel-based coordination via constraint satisfaction, Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>, The ARC Programming Model – Language Constructs for Coordination, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Causal Semantics for the Algebra of Connectors, Specifying and Verifying Organizational Security Properties in First-Order Logic, Compositional Failure-based Equivalence of Constraint Automata, A semantic model for interacting cyber-physical systems
Uses Software
