Generalizing finiteness conditions of labelled transition systems (Q4632441): Difference between revisions

@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time and branching time semantics for recursion with merge
+Normal rank
@@ Property / cites work @@
+Topological models for higher order control flow
@@ Property / cites work: Topological models for higher order control flow / rank @@
+Normal rank
@@ Property / cites work @@
+Four domains for concurrency
@@ Property / cites work: Four domains for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347277
@@ Property / cites work: Q3347277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620550
@@ Property / cites work: Q5620550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736353
@@ Property / cites work: Q2736353 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing finiteness conditions of labelled transition systems
+Normal rank
@@ Property / cites work @@
+Three metric domains of processes for bisimulation
+Normal rank
@@ Property / cites work @@
+Q3285871
@@ Property / cites work: Q3285871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Contractions in comparing concurrency semantics
@@ Property / cites work: Contractions in comparing concurrency semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of domains for real-time distributed computing
+Normal rank
@@ Property / cites work @@
+Semantic Correctness for a Parallel Object-Oriented Language
+Normal rank
@@ Property / cites work @@
+Processes as terms: non-well-founded models for bisimulation
+Normal rank