Pages that link to "Item:Q5326326"
From MaRDI portal
The following pages link to An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326):
Displaying 20 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- An overview on ``The European school of MCDA: Emergence, basic features and current works'' (Q1278801) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Branching Bisimulation Games (Q2827464) (← links)
- (Q3384882) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5114827) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)
