A thread calculus with molecular dynamics (Q988554): Difference between revisions

@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2153723415
@@ Property / OpenAlex ID: W2153723415 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0840
@@ Property / arXiv ID: 0711.0840 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Thread algebra for strategic interleaving
@@ Property / cites work: Thread algebra for strategic interleaving / rank @@
+Normal rank
@@ Property / cites work @@
+Molecular dynamics
@@ Property / cites work: Molecular dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480652
@@ Property / cites work: Q5480652 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting bisimulations and retrospective conditions
+Normal rank
@@ Property / cites work @@
+Fixed point equations with parameters in the projective model
+Normal rank
@@ Property / cites work @@
+Linear time and branching time semantics for recursion with merge
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+The programming language Pascal
@@ Property / cites work: The programming language Pascal / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+A thread algebra with multi-level strategic interleaving
+Normal rank
@@ Property / cites work @@
+Q5613825
@@ Property / cites work: Q5613825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702592
@@ Property / cites work: Q4702592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative formulation of operational conservativity with binding terms.
+Normal rank
@@ Property / cites work @@
+Equivalence of recursive specifications in process algebra
+Normal rank
@@ Property / cites work @@
+Combining programs and state machines
@@ Property / cites work: Combining programs and state machines / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586291
@@ Property / cites work: Q5586291 / rank @@
+Normal rank
@@ Property / cites work @@
+Maurer computers for pipelined instruction processing
+Normal rank
@@ Property / cites work @@
+Synchronous cooperation for explicit multi-threading
+Normal rank
@@ Property / cites work @@
+Q4449159
@@ Property / cites work: Q4449159 / rank @@
+Normal rank