scientific article; zbMATH DE number 1956598

zbMATH Open1031.68554MaRDI QIDQ4417945FDOQ4417945

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

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

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

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 (3)

• Integrating tools in the ETI platform
• Title not available (Why is that?)
• A brief history of process algebra

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)