On continuous time agents (Q6116583): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55511-0_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1549493961
@@ Property / OpenAlex ID: W1549493961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5508995
@@ Property / cites work: Q5508995 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3031144
@@ Property / cites work: Q3031144 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3904750
@@ Property / cites work: Q3904750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4990312
@@ Property / cites work: Q4990312 / rank @@
+Normal rank
@@ Property / cites work @@
+On completeness of locally-internal categories
@@ Property / cites work: On completeness of locally-internal categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956374
@@ Property / cites work: Q3956374 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal structures
@@ Property / cites work: Temporal structures / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatics for bicategories of modules
@@ Property / cites work: An axiomatics for bicategories of modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210197
@@ Property / cites work: Q3210197 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761679
@@ Property / cites work: Q3761679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667049
@@ Property / cites work: Q3667049 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categorical semantics for distributed calculi
+Normal rank
@@ Property / cites work @@
+Q3780423
@@ Property / cites work: Q3780423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / 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 @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for timed CSP
@@ Property / cites work: An operational semantics for timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958648
@@ Property / cites work: Q3958648 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves on sites as Cauchy-complete categories
@@ Property / cites work: Sheaves on sites as Cauchy-complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization trees
@@ Property / cites work: Synchronization trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6116583