Synthesising correct concurrent runtime monitors
type: Item
instance of: scholarly article
title: Synthesising correct concurrent runtime monitors
zbMATH Open document ID: 1323.68373
author: Adrian Francalanza
author: Aldrin Seychell
published in: Formal Methods in System Design
publication date: 2015-10-30T00:00:00Z
full work available at URL: https://www.um.edu.mt/library/oar//handle/123456789/23256
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6502570
zbMATH Keywords: runtime verification
zbMATH Keywords: automated monitor synthesis
zbMATH Keywords: monitor correctness
zbMATH Keywords: \(\mu \)-calculus
zbMATH Keywords: concurrency
zbMATH Keywords: actors
describes a project that uses: Erlang
describes a project that uses: Java-MOP
describes a project that uses: LOLA
MaRDI profile type: Publication
OpenAlex ID: W2083030183
cites work: Q4260699
cites work: Reactive Systems
cites work: Decentralised LTL monitoring
cites work: Monitoring networks through multiparty session types
cites work: Modal logics for mobile processes
cites work: Q4963997
cites work: Q5191331
cites work: Characterization of temporal property classes
cites work: Q4885877
cites work: Runtime Verification of Component-Based Systems
cites work: Distributed system contract monitoring
cites work: Fair testing
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3992568
cites work: Testing equivalences for processes
cites work: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
DOI: 10.1007/S10703-014-0217-9
description: scientific article; zbMATH DE number 6502570