scientific article; zbMATH DE number 7471686
From MaRDI portal
Publication:5028448
Authors: Maria Pittou, George Rahonis 
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/1904.02222
Title of this publication is not available (Why is that?)
Recommendations
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems
- Analyzing component-based systems on the basis of architectural constraints
- Formal semantics of an architecture-centric component model
- Modelling architectures: A review of their application in structured methods for information systems specification
recursive interactionsarchitecture modellingfirst-order extended interaction logicordered interactionsparametric component-based systemsweighted extended interaction logics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elements of automata theory. Translated from the French by Reuben Thomas
- Algebraic laws for nondeterminism and concurrency
- Handbook of weighted automata
- Realisability of pomsets
- Configuration logics: modeling architecture styles
- The Algebra of Connectors—Structuring Interaction in BIP
- Weighted automata and regular expressions over valuation monoids
- Automata theory and its applications
- The Shuffle Product: New Research Directions
- The Saga of the Axiomatization of Parallel Composition
- Parameterized verification of many identical probabilistic timed processes
- Parameterised multiparty session types
- Rational and Recognisable Power Series
- Formal specification and verification of dynamic parametrized architectures
- Checking deadlock-freedom of parametric component-based systems
- Monitorability for the Hennessy-Milner logic with recursion
- Specifying properties of dynamic architectures using configuration traces
- Architecture diagrams: a graphical language for architecture style specification
- An abstract semantics of the global view of choreographies
- Model checking population protocols
- Weighted propositional configuration logics: a specification language for architectures with quantitative features
- Parametric timed broadcast protocols
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028448)
