Pages that link to "Item:Q639646"

The following pages link to Bialgebras for structural operational semantics: an introduction (Q639646):

Displaying 37 items.

• Rational operational models (Q265819) (← links)
• Structural congruence for bialgebraic semantics (Q338626) (← links)
• Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
• Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
• Some undecidable properties of SOS specifications (Q511941) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Structural operational semantics through context-dependent behaviour (Q638568) (← links)
• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• Multigames and strategies, coalgebraically (Q890378) (← links)
• Proving language inclusion and equivalence by coinduction (Q899321) (← links)
• Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
• Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
• Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
• Combining semilattices and semimodules (Q2233397) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
• Distributive laws for monotone specifications (Q2329307) (← links)
• A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
• A New Foundation for Finitary Corecursion (Q2811335) (← links)
• (Q2980965) (← links)
• Companions, Codensity and Causality (Q2988363) (← links)
• (Q3121518) (← links)
• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• (Q5014802) (← links)
• Convexity via Weak Distributive Laws (Q5060194) (← links)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
• (Q5094151) (← links)
• (Q5111636) (← links)
• (Q5155671) (← links)
• (Q5240186) (← links)
• Enhanced coalgebraic bisimulation (Q5361143) (← links)
• Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
• Product Rules and Distributive Laws (Q5739452) (← links)
• (Q5875399) (← links)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
• An implicit function theorem for the stream calculus (Q6563062) (← links)
• A compositional approach to parity games (Q6653762) (← links)