scientific article; zbMATH DE number 5262134

MaRDI QIDQ5458153zbMATH OpenFDO

Authors Bruno Müller-Clostermann

Publication date 11 April 2008

Mathematics Subject Classification ID

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

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

Cited in

(10)

• Yeast: a case study for a practical use of formal methods
• scientific article; zbMATH DE number 744056 (Why is no real title available?)
• scientific article; zbMATH DE number 1995155 (Why is no real title available?)
• scientific article; zbMATH DE number 2013576 (Why is no real title available?)
• scientific article; zbMATH DE number 1759600 (Why is no real title available?)
• Formal methods in computing
• scientific article; zbMATH DE number 3997152 (Why is no real title available?)
• 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)