On bidirectional runtime enforcement
type: Item
instance of: scholarly article
title: On bidirectional runtime enforcement
zbMATH Open document ID: 1489.68135
DOI: 10.1007/978-3-030-78089-0_1
author: Luca Aceto
author: Ian Cassar
author: Adrian Francalanza
author: Anna Ingolfsdottir
publication date: 2022-03-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7493469
MaRDI profile type: Publication
full work available at URL: 978-3-030-78089-0 1
OpenAlex ID: W3169320146
cites work: A framework for parameterized monitorability
cites work: Determinizing monitors for HML with recursion
cites work: Q5009452
cites work: Q4260699
cites work: Reactive Systems
cites work: Streaming transducers for algorithmic verification of single-pass list-processing programs
cites work: Monitoring networks through multiparty session types
cites work: Consistently-detecting monitors
cites work: A theory of monitors
cites work: Monitorability for the Hennessy-Milner logic with recursion
cites work: Proof systems for message-passing process algebras
cites work: A modal logic for message passing processes
cites work: Maximally permissive controlled system synthesis for non-determinism and modal logic
cites work: Monitors and blame assignment for higher-order session types
cites work: Which security policies are enforceable by runtime monitors? A survey
cites work: Shield synthesis
cites work: Results on the propositional \(\mu\)-calculus
cites work: Proof systems for satisfiability in Hennessy-Milner logic with recursion
cites work: A calculus of mobile processes. I
cites work: Q4364391
cites work: Q3644388
cites work: Introduction to Bisimulation and Coinduction
Wikidata QID: Q131419172
description: scientific article; zbMATH DE number 7493469