scientific article; zbMATH DE number 6605097

zbMATH Open1364.68141MaRDI QIDQ5740945FDOQ5740945

Authors:

Publication date: 20 July 2016

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

Recommendations

• Coordination Models and Languages
• scientific article; zbMATH DE number 683359
• On the expressiveness of timed coordination models
• A timed concurrent constraint language.
• Formal Methods for the Design of Real-Time Systems
• Coinduction in concurrent timed systems
• scientific article; zbMATH DE number 994050
• A perfect class of context-sensitive timed languages
• Publication:4507819

zbMATH Keywords

coordinationformal methodsreactive systemsreal-time systemsseparation of concernsshared data-space

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

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