Spatial and behavioral types in the pi-calculus (Q1959478): Difference between revisions

@@ Property / describes a project that uses @@
+PIPER
@@ Property / describes a project that uses: PIPER / 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.ic.2009.10.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2075221622
@@ Property / OpenAlex ID: W2075221622 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
+Normal rank
@@ Property / cites work @@
+Spatial and Behavioral Types in the Pi-Calculus
@@ Property / cites work: Spatial and Behavioral Types in the Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+Type Abstractions of Name-Passing Processes
@@ Property / cites work: Type Abstractions of Name-Passing Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Responsiveness in process calculi
@@ Property / cites work: Responsiveness in process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Semantics of Types for Concurrency
@@ Property / cites work: Logical Semantics of Types for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial-Behavioral Types, Distributed Services, and Resources
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Structural inclusion in the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Type System for Lock-Freedom of Mobile Processes
+Normal rank
@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank