Pages that link to "Item:Q2413026"

From MaRDI portal

← Verification of finite-state machines: a distributed approach (Q2413026)

Jump to:navigation, search

The following pages link to Verification of finite-state machines: a distributed approach (Q2413026):

Displaying 3 items.

Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"