Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772): Difference between revisions

@@ Property / author @@
+Carlos Gregorio Rodríguez
@@ Property / author: Carlos Gregorio Rodríguez / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CMC
@@ Property / describes a project that uses: CMC / 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.1016/j.jlamp.2019.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2936935908
@@ Property / OpenAlex ID: W2936935908 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning I/O Automata
@@ Property / cites work: Learning I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterisations and Compositionality of Input-Output Conformance Simulation
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for fixed-point semantics: a general framework
+Normal rank
@@ Property / cites work @@
+Input-output conformance testing for software product lines
+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 @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with process equivalence
@@ Property / cites work: Experimenting with process equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Unifying the Linear Time-Branching Time Spectrum of Process Semantics
+Normal rank
@@ Property / cites work @@
+Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
+Normal rank
@@ Property / cites work @@
+Compositionality of Hennessy-Milner logic by structural operational semantics
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3343432
@@ Property / cites work: Q3343432 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+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 @@
+Q3777424
@@ Property / cites work: Q3777424 / 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 @@
+Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
+Normal rank
@@ Property / cites work @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+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