Rule formats for compositional non-interference properties
type: Item
instance of: scholarly article
title: Rule formats for compositional non-interference properties
zbMATH Open document ID: 1072.68073
author: Simone Tini
published in: The Journal of Logic and Algebraic Programming
publication date: 2004-09-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2099291
zbMATH Keywords: transition rule formats
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.03.003
OpenAlex ID: W2081443964
cites work: Structural operational semantics.
cites work: Process Algebra
cites work: Structural operational semantics for weak bisimulations
cites work: A Proof System for Information Flow Security
cites work: Q4414391
cites work: Theoretical Computer Science
cites work: Q4798029
cites work: Rooted branching bisimulation as a congruence
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Formal verification of parallel programs
cites work: A complete inference system for a class of regular behaviours
cites work: Q3992568
cites work: Non-interference through determinism
cites work: Q3999200
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Q4417889
cites work: Ordered SOS process languages for branching and eager bisimulations
cites work: The algebra of communicating processes with empty process
DOI: 10.1016/J.JLAP.2004.03.003
description: scientific article; zbMATH DE number 2099291