scientific article; zbMATH DE number 7471686

MaRDI QIDQ5028448

Maria Pittou, George Rahonis

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/1904.02222

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursive interactionsarchitecture modellingfirst-order extended interaction logicordered interactionsparametric component-based systemsweighted extended interaction logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Configuration logics: modeling architecture styles
• Handbook of weighted automata
• Checking deadlock-freedom of parametric component-based systems
• Realisability of pomsets
• Formal specification and verification of dynamic parametrized architectures
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• Parametric timed broadcast protocols
• Monitorability for the Hennessy-Milner logic with recursion
• The Shuffle Product: New Research Directions
• Specifying Properties of Dynamic Architectures Using Configuration Traces
• WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
• The Saga of the Axiomatization of Parallel Composition
• Algebraic laws for nondeterminism and concurrency
• The Algebra of Connectors—Structuring Interaction in BIP
• Model Checking Population Protocols
• Rational and Recognisable Power Series
• Parameterised Multiparty Session Types
• Automata theory and its applications

This page was built for publication: