scientific article; zbMATH DE number 2088654

MaRDI QIDQ3045251zbMATHFDO

Authors Charles A. Lakos

Publication date 12 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Integrated Formal Methods
• scientific article; zbMATH DE number 2000425
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 1686268
• scientific article; zbMATH DE number 1686271

Cited in

(6)

• Modular Schedulability Analysis of Concurrent Objects in Creol
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• scientific article; zbMATH DE number 1686274 (Why is no real title available?)
• scientific article; zbMATH DE number 1614642 (Why is no real title available?)
• scientific article; zbMATH DE number 1686271 (Why is no real title available?)
• scientific article; zbMATH DE number 2000425 (Why is no real title available?)

Describes a project that uses

Uses Software

• ET++
• dSPIN

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