Towards SOS Meta-Theory for Language-Based Security (Q5262972): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2005.12.092
@@ Property / DOI: 10.1016/j.entcs.2005.12.092 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q57745757
@@ Property / Wikidata QID: Q57745757 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2005.12.092
+Normal rank
@@ Property / OpenAlex ID @@
+W2078571351
@@ Property / OpenAlex ID: W2078571351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing noninterference for reactive programs
@@ Property / cites work: Typing noninterference for reactive programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for free
@@ Property / cites work: Information flow inference for free / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Rule formats for compositional non-interference properties
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/Mousavi06
@@ Property / DBLP publication ID: journals/entcs/Mousavi06 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2005.12.092
@@ Property / DOI: 10.1016/J.ENTCS.2005.12.092 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5262972