Architectural_Design_Patterns
From MaRDI portal
Architectural Design Patterns
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- A general framework for architecture composability
- A graph transformation approach to software architecture reconfiguration
- A model of dynamic systems
- Analysis of the Blockchain Protocol in Asynchronous Networks
- Architecture diagrams: a graphical language for architecture style specification
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Categorical semantics of parallel program design
- Communicating sequential processes
- Compositional refinement of interactive systems
- Compositionality: the significant difference. International symposium, COMPOS'97 Bad Malente, Germany, September 8--12, 1997. Revised lectures
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
- Edinburgh LCF. A mechanized logic of computation
- FDR3 -- a modern refinement checker for CSP
- Foundations of component-based systems.
- Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Hierarchical specification and verification of architectural design patterns
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Isabelle/HOL. A proof assistant for higher-order logic
- Mobile ambients
- Modeling component connectors in Reo by constraint automata
- Modular specification and verification of object-oriented programs
- NuSMV: A new symbolic model checker
- On Activation, Connection, and Behavior in Dynamic Architectures
- On the verification of architectural reconfigurations
- Ouroboros: a provably secure proof-of-stake blockchain protocol
- Reo: a channel-based coordination model for component composition
- Specifying properties of dynamic architectures using configuration traces
- The Bitcoin backbone protocol with chains of variable difficulty
- The Bitcoin Backbone Protocol: Analysis and Applications
- The Byzantine Generals Problem
- The chemical abstract machine
- Theoretical aspects of computing -- ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23--27, 2017. Proceedings
- Towards a calculus for dynamic architectures
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
- Truly modular (co)datatypes for Isabelle/HOL
- Two graph-based techniques for software architecture reconfiguration
- Types for Proofs and Programs
Cited in
(5)
This page was built for software: Architectural_Design_Patterns
