Pages that link to "Item:Q1683708"

From MaRDI portal

← \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708)

Jump to:navigation, search

The following pages link to \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708):

Displayed 2 items.

Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) ‎ (← links)
Logical characterization of fluid equivalences (Q2323132) ‎ (← links)

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