The following pages link to CONCUR 2003 - Concurrency Theory (Q5900559):
Displaying 10 items.
- A precongruence format for should testing preorder (Q974134) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- Language preorder as a precongruence (Q1575654) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- From bialgebraic semantics to congruence formats (Q2848127) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)