scientific article; zbMATH DE number 107730
From MaRDI portal
Publication:4023311
distributed systemEstelle specificationsformal description techniquesFormale Beschreibungstechnikenparallel codeprotocolVerteilte Systeme
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Recommendations
- Towards formal specification of a distributed computing system
- scientific article; zbMATH DE number 3868587
- A formal approach to the engineering of domain-specific distributed systems
- Formal model-driven design of distributed algorithms
- Specification styles in distributed systems design and verification
- scientific article; zbMATH DE number 4076681
Cited in
(5)- Specification styles in distributed systems design and verification
- Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
- scientific article; zbMATH DE number 5949231 (Why is no real title available?)
- Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
- scientific article; zbMATH DE number 810106 (Why is no real title available?)
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 Q4023311)
