Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent components that can be executed concurrently with a centralized coordination for multiparty interactions. In this context, th...

Celý popis

Podrobná bibliografie

Vydáno v:	Formal aspects of computing Ročník 29; číslo 6; s. 951 - 986
Hlavní autoři:	Nazarpour, Hosein, Falcone, Yliès, Bensalem, Saddek, Bozga, Marius
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer London 01.11.2017 Association for Computing Machinery Springer Verlag
Témata:	Computer Science Concurrency Embedded Systems Math Applications in Computer Science Monitoring Original Article Run time (computers) Semantics Software Engineering Theory of Computation Transformations
ISSN:	0934-5043, 1433-299X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!