scientific article; zbMATH DE number 1919415

zbMATH Open1025.68014MaRDI QIDQ4483791FDOQ4483791

Authors: Xueyang Zhu, Zhisong Tang 

Publication date: 27 May 2003

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

Recommendations

• scientific article; zbMATH DE number 1949584
• scientific article; zbMATH DE number 1614637
• scientific article; zbMATH DE number 2050829
• A formal dynamic architecture description language
• An ``abstract process approach to algebraic dynamic architecture description

zbMATH Keywords

temporal logic language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (7)

• Title not available (Why is that?)
• Modeling architecture description languages using AML
• Title not available (Why is that?)
• Title not available (Why is that?)
• ADL: An activity description language for real-time networks
• XYZ/ADL
• 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 Q4483791)