Automating the refinement of specifications for distributed systems via syntactic transformations

DOI10.1080/00207729708929473MaRDI QIDQ4392352zbMATH OpenOpenAlexFDO

Authors Paul C. Attie, Champak Das

Publication date 8 June 1998

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207729708929473

zbMATH Keywords

syntactic transformationsrefinement problem

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 2111735
• scientific article; zbMATH DE number 1487745
• A graph-based approach to the compositional specification of distributed systems

Cites work

• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• A Methodology for Developing Distributed Programs
• An axiomatic basis for computer programming
• Process Algebra
• Type theory and concurrency

Cited in

(2)

• Automated reformulation of specifications by safe delay of constraints
• From global choreographies to verifiable efficient distributed implementations

Describes a project that uses

Uses Software

• STeP
• Nuprl

This page was built for publication: Automating the refinement of specifications for distributed systems via syntactic transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4392352)