Pages that link to "Item:Q1012126"

The following pages link to Bialgebraic methods and modal logic in structural operational semantics (Q1012126):

Displaying 3 items.

• Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
• Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
• Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)