On subexponentials, focusing and modalities in concurrent systems (Q2404074): Difference between revisions

@@ Property / Wikidata QID @@
+Q57850691
@@ Property / Wikidata QID: Q57850691 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ 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.2017.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2627861920
@@ Property / OpenAlex ID: W2627861920 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Models and emerging trends of concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Timed default concurrent constraint programming
@@ Property / cites work: Timed default concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial and Epistemic Modalities in Constraint-Based Process Calculi
+Normal rank
@@ Property / cites work @@
+On the Complexity of Linear Authorization Logics
@@ Property / cites work: On the Complexity of Linear Authorization Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Subexponential Logics Are Equally Expressive
+Normal rank
@@ Property / cites work @@
+Specifying Proof Systems in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Subexponential concurrent constraint programming
@@ Property / cites work: Subexponential concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for higher-order concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Dynamic spaces in concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Proving concurrent constraint programming correct, revisited
+Normal rank
@@ Property / cites work @@
+Soft concurrent constraint programming
@@ Property / cites work: Soft concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Theoretic Study of Soft Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+A framework for linear authorization logics
@@ Property / cites work: A framework for linear authorization logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Logic of Authorization and Knowledge
@@ Property / cites work: A Linear Logic of Authorization and Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid and subexponential linear logics
@@ Property / cites work: Hybrid and subexponential linear logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968415
@@ Property / cites work: Q2968415 / rank @@
+Normal rank