Automating the refinement of specifications for distributed systems via syntactic transformations

DOI10.1080/00207729708929473zbMath0897.68006OpenAlexW2164129192MaRDI QIDQ4392352

Champak Das, Paul C. Attie

Publication date: 8 June 1998

Published in: International Journal of Systems Science (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)

Related Items (1)

From global choreographies to verifiable efficient distributed implementations

Uses Software

• Nuprl
• STeP

Cites Work

• Unnamed Item
• Type theory and concurrency
• Process Algebra
• A Methodology for Developing Distributed Programs
• An axiomatic basis for computer programming

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