The following pages link to Marcello M. Bonsangue (Q265816):
Displayed 50 items.
- Rational operational models (Q265819) (← links)
- (Q338625) (redirect page) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- (Q869664) (redirect page) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- Topological dualities in semantics (Q1271111) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- Comparing coordination models and architectures using embeddings (Q1870850) (← links)
- Infinite intersection types (Q1887155) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- Learning probabilistic automata using residuals (Q2119983) (← links)
- From symbolic constraint automata to Promela (Q2168790) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- Context-free coalgebras (Q2341705) (← links)
- (Q2707309) (← links)
- Non-Deterministic Kleene Coalgebras (Q2786140) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Coalgebraic Characterizations of Context-Free Languages (Q2848359) (← links)
- Bounded Model Checking of Recursive Programs with Pointers in K (Q2848871) (← links)
- Brzozowski’s Algorithm (Co)Algebraically (Q2897941) (← links)
- Automated Verification of Recursive Programs with Pointers (Q2908486) (← links)
- (Q2908856) (← links)
- Defining Context-Free Power Series Coalgebraically (Q2914674) (← links)
- Coalgebraic Bisimulation-Up-To (Q2927660) (← links)
- Regular Varieties of Automata and Coequations (Q2941177) (← links)
- Equations and Coequations for Weighted Automata (Q2946360) (← links)
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (Q2946691) (← links)
- Unbounded Allocation in Bounded Heaps (Q2948233) (← links)
- A coalgebraic view on decorated traces (Q2973240) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Context-Free Languages, Coalgebraically (Q3090880) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Automata Based Model Checking for Reo Connectors (Q3400925) (← links)
- (Q3413373) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- (Q4251097) (← links)
- (Q4364389) (← links)
- (Q4373412) (← links)
- (Q4490763) (← links)
- (Q4536357) (← links)
- (Q4699293) (← links)