A process algebraic approach to software architecture design
From MaRDI portal
Recommendations
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- scientific article; zbMATH DE number 756395
- Models of software architecture. Design and analysis with UML and Petri nets
- scientific article; zbMATH DE number 1897216
- scientific article; zbMATH DE number 1216183
Cited in
(18)- An ``abstract process approach to algebraic dynamic architecture description
- On the usability of process algebra: An architectural view
- Moving from interface theories to assembly theories
- On the semantics of Markov automata
- An FP-based Design Methodology for Problem-oriented Architectures
- Model checking probabilistic systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- scientific article; zbMATH DE number 40791 (Why is no real title available?)
- Threaded behavior protocols
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
- Compatibility and inheritance in software architectures
- Algorithmical approaches to business process design
- Handbook of truly concurrent process algebra
- Architecture of a software training complex for aluminum industry personnel
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Performance preserving equivalence for stochastic process algebra dtsdPBC
- Approximating Markovian testing equivalence
- Product line process theory
This page was built for publication: A process algebraic approach to software architecture design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3394898)
