Algebra and logic for resource-based systems modelling (Q3643362): Difference between revisions

@@ Property / author @@
-David J. Pym
@@ Property / author: David J. Pym / rank @@
-Normal rank
@@ Property / author @@
+David J. Pym
@@ Property / author: David J. Pym / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MWB
@@ Property / describes a project that uses: MWB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems: stability and simulability
@@ Property / cites work: Dynamical systems: stability and simulability / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Processes with probabilities, priority and time
@@ Property / cites work: Processes with probabilities, priority and time / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and temporal properties of processes
@@ Property / cites work: Modal and temporal properties of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Getting Demos models right. (II) … and theory
@@ Property / cites work: Getting Demos models right. (II) … and theory / rank @@
+Normal rank
@@ Property / cites work @@
+Getting Demos models right. (I). Practice
@@ Property / cites work: Getting Demos models right. (I). Practice / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198095
@@ Property / cites work: Q4198095 / rank @@
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Models and Separation Logics for Resource Trees
@@ Property / cites work: Models and Separation Logics for Resource Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997236
@@ Property / cites work: Q3997236 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Errata for ``A calculus and logic of resources and processes'' and their consequences
+Normal rank
@@ Property / cites work @@
+Bunched polymorphism
@@ Property / cites work: Bunched polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank