Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-51963-0_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2570726665
@@ Property / OpenAlex ID: W2570726665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A Pre-congruence Format for XY-simulation
@@ Property / cites work: A Pre-congruence Format for XY-simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying the Linear Time-Branching Time Spectrum of Process Semantics
+Normal rank
@@ Property / cites work @@
+Compositionality of Hennessy-Milner logic by structural operational semantics
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable properties of SOS specifications
@@ Property / cites work: Some undecidable properties of SOS specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank