Pages that link to "Item:Q2506486"
From MaRDI portal
The following pages link to CPO models for compact GSOS languages (Q2506486):
Displaying 13 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- The equational theory of prebisimilarity over basic CCS with divergence (Q975471) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Bialgebraic Semantics and Recursion (Q4917044) (← links)
- CPO models for a class of GSOS languages (Q5096748) (← links)
