Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

DOI10.1007/978-3-642-00255-7_8zbMath1211.68255OpenAlexW1811746816MaRDI QIDQ3605463

Helen Treharne, S. A. Schneider

Publication date: 24 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://epubs.surrey.ac.uk/7191/2/ifm09.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B

Uses Software

• Rodin

Cites Work

• CSP theorems for communicating B machines
• The B-Book
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B