Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163): Difference between revisions

@@ Property / author @@
+David J. Pym
@@ Property / author: David J. Pym / rank @@
+Normal rank
@@ Property / author @@
+Chris Tofts
@@ Property / author: Chris Tofts / 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.entcs.2007.02.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2057731278
@@ Property / OpenAlex ID: W2057731278 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997236
@@ Property / cites work: Q3997236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198095
@@ Property / cites work: Q4198095 / rank @@
+Normal rank
@@ Property / cites work @@
+A denotational semantics for a process-based simulation language
+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 @@
+Getting Demos models right. (II) … and theory
@@ Property / cites work: Getting Demos models right. (II) … and theory / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra of communicating shared resources with dense time and priorities
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reports of the Midwest category seminar. IV
@@ Property / cites work: Reports of the Midwest category seminar. IV / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124990
@@ Property / cites work: Q4124990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411823
@@ Property / cites work: Q4411823 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+A simple process algebra based on atomic actions with resources
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+A term model for synchronous processes
@@ Property / cites work: A term model for synchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4843091
@@ Property / cites work: Q4843091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / 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 @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / 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 @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. II
@@ Property / cites work: The semantics of entailment. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank