scientific article; zbMATH DE number 5262134

zbMATH Open1144.68335MaRDI QIDQ5458153FDOQ5458153

Authors: Bruno Müller-Clostermann 

Publication date: 11 April 2008

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

Recommendations

• Formal Specification of Concurrent Systems: A Structured Approach
• A formal system for specification analysis of concurrent programs
• Formal system verification. State-of the-art and future trends
• Formal Methods in Software and Systems Modeling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Yeast: a case study for a practical use of formal methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal methods in computing
• Title not available (Why is that?)
• Advantages and disadvantages of the methods of describing concurrent systems
• Automatic modeling and analysis of MSC-specified systems
• The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings

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