Decidability and syntactic control of interference (Q2481977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2007.10.045
+Normal rank
@@ Property / OpenAlex ID @@
+W1975887328
@@ Property / OpenAlex ID: W1975887328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+The equivalence problem of multitape finite automata
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for some classes of deterministic multitape automata
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3593502
@@ Property / cites work: Q3593502 / rank @@
+Normal rank
@@ Property / cites work @@
+Game semantics and linear CPS interpretation
@@ Property / cites work: Game semantics and linear CPS interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary PCF is not decidable
@@ Property / cites work: Finitary PCF is not decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411827
@@ Property / cites work: Q4411827 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of the bad-variable constructor in Algol-like languages
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to deciding the observational equivalence of Algol-like languages
+Normal rank
@@ Property / cites work @@
+Syntactic control of interference revisited
@@ Property / cites work: Syntactic control of interference revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank