scientific article; zbMATH DE number 1956598

MaRDI QIDQ4417945zbMATHFDO

Authors Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark

Publication date 30 July 2003

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

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)

Recommendations

• scientific article; zbMATH DE number 2090149
• A verification tool developer's vade mecum.
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• Publication:4934539
• Integrating tools in the ETI platform

Cited in

(3)

• A brief history of process algebra
• Integrating tools in the ETI platform
• scientific article; zbMATH DE number 2104633 (Why is no real title available?)

Describes a project that uses

Uses Software

• CADP

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