scientific article; zbMATH DE number 2155192

zbMATH Open1065.68069MaRDI QIDQ4665739

Could not fetch data.

Publication date: 11 April 2005

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

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)

Title not available (Why is that?)

Recommendations

• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems 👍 👎
• Compact and efficiently verifiable models for concurrent systems 👍 👎
• Construction and verification of performance and reliability models 👍 👎
• Model checking for performability 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4665739)