scientific article; zbMATH DE number 7471686
From MaRDI portal
Publication:5028448
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.
recursive interactionsarchitecture modellingfirst-order extended interaction logicordered interactionsparametric component-based systemsweighted extended interaction logics
Related Items (1)
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: