scientific article; zbMATH DE number 2080013

zbMATH Open1044.68121MaRDI QIDQ4472199FDOQ4472199

Authors: Helen Treharne, S. A. Schneider 

Publication date: 3 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720416.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2013575
• CSP theorems for communicating B machines
• Integrated Formal Methods
• Interactive tool support for CSP \(\parallel\) B consistency checking
• scientific article; zbMATH DE number 1487746

zbMATH Keywords

CSPConcurrencyB-MethodCombining Formalisms

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)

Cited In (10)

• Communication for alternating machines
• Title not available (Why is that?)
• Integrated Formal Methods
• Model transformations across views
• Integrating a formal method into a software engineering process with UML and Java
• Efficient symbolic computation of process expressions
• Interactive tool support for CSP \(\parallel\) B consistency checking
• Test selection for traces refinement
• CSP theorems for communicating B machines
• Title not available (Why is that?)

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 Q4472199)