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

@@ Property / author @@
-Franck Van Breugel
@@ Property / author: Franck Van Breugel / rank @@
-Normal rank
@@ Property / author @@
+Franck Van Breugel
@@ Property / author: Franck Van Breugel / 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.1007/3-540-58201-0_83
+Normal rank
@@ Property / OpenAlex ID @@
+W1499856730
@@ Property / OpenAlex ID: W1499856730 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4632441