The following pages link to Bartek Klin (Q383370):
Displaying 45 items.
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Some undecidable properties of SOS specifications (Q511941) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- (Q2764130) (← links)
- A coalgebraic approach to process equivalence and a coinduction principle for traces (Q2847815) (← links)
- From bialgebraic semantics to congruence formats (Q2848127) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- Automata theory in nominal sets (Q2878750) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Towards nominal computation (Q2942888) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- (Q4471721) (← links)
- Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (Q4635643) (← links)
- Locally Finite Constraint Satisfaction Problems (Q4635828) (← links)
- (Q4636561) (← links)
- (Q4779164) (← links)
- (Q4972736) (← links)
- (Q4995156) (← links)
- (Q5013828) (← links)
- (Q5111198) (← links)
- (Q5111437) (← links)
- (Q5207048) (← links)
- (Q5207051) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Turing Machines with Atoms (Q5271055) (← links)
- Presenting Morphisms of Distributive Laws (Q5275351) (← links)
- Learning nominal automata (Q5370894) (← links)
- Structural Operational Semantics for Stochastic Process Calculi (Q5458377) (← links)
- Algebra and Coalgebra in Computer Science (Q5492811) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900559) (← links)
- Orbit-finite-dimensional vector spaces and weighted register automata (Q6566474) (← links)
- Countdown \(\mu\)-calculus (Q6584067) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Codensity games for bisimilarity (Q6654498) (← links)
- History-dependent nominal \(\mu \)-calculus (Q6654508) (← links)
