scientific article; zbMATH DE number 6605097

MaRDI QIDQ5740945zbMATH OpenFDO

Authors

Publication date 20 July 2016

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)

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

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)