Specification styles in distributed systems design and verification
From MaRDI portal
Recommendations
- Specification and top-down design of distributed systems
- scientific article; zbMATH DE number 3898216
- Towards formal specification of a distributed computing system
- scientific article; zbMATH DE number 3898215
- scientific article; zbMATH DE number 4084996
- A formal approach to the engineering of domain-specific distributed systems
- Formal description techniques for distributed systems
Cites work
- A Theory of Communicating Sequential Processes
- Calculi for synchrony and asynchrony
- CIRCAL and the representation of communication, concurrency, and time
- Equational type logic
- Extensional equivalences for transition systems
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4033040 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- Observation equivalence as a testing equivalence
- Testing equivalences for processes
Cited in
(22)- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- Performance measure sensitive congruences for Markovian process algebras
- Model transformations across views
- A formal approach to the engineering of domain-specific distributed systems
- Impact of performance considerations on formal specification design
- On the construction of distributed RM-ODP specifications
- The how and why of interactive Markov chains
- scientific article; zbMATH DE number 3898215 (Why is no real title available?)
- scientific article; zbMATH DE number 3898216 (Why is no real title available?)
- scientific article; zbMATH DE number 4084996 (Why is no real title available?)
- Formal description techniques for distributed systems
- scientific article; zbMATH DE number 1258216 (Why is no real title available?)
- An algebra-based method to associate rewards with EMPA terms
- scientific article; zbMATH DE number 3997152 (Why is no real title available?)
- Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
- Basic-REAL: Integrated approach for design, specification and verification of distributed systems
- Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
- YMCA: why Markov chain algebra?
- From data structure to process structure
- A dynamic evolution for the specifications of distributed systems
- Refinement, conformance and inheritance
This page was built for publication: Specification styles in distributed systems design and verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177943)
