The following pages link to Anna Labella (Q234453):
Displayed 50 items.
- (Q173928) (redirect page) (← links)
- Complexity-preserving simulations among three variants of accepting networks of evolutionary processors (Q537856) (← links)
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Generalising Conduché's theorem (Q633801) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- Networks of polarized multiset processors (Q730504) (← links)
- Conduché property and tree-based categories (Q1040596) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato (Q1253251) (← links)
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- Networks of picture processors as problem solvers (Q1746794) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- ITL semantics of composite Petri nets (Q1936232) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting (Q1998863) (← links)
- Transactions and contracts based on reaction systems (Q2044946) (← links)
- Reaction systems with influence on environment (Q2299880) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- Prefix-suffix square reduction (Q2358680) (← links)
- Superposition based on Watson-Crick-like complementarity (Q2432544) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- (Q2784335) (← links)
- Context Insertions (Q3009334) (← links)
- Networks of Evolutionary Picture Processors with Filtered Connections (Q3184758) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof (Q3654667) (← links)
- (Q3707415) (← links)
- (Q3736896) (← links)
- (Q3769951) (← links)
- (Q3777427) (← links)
- (Q3780423) (← links)
- (Q3796730) (← links)
- (Q3819987) (← links)
- (Q3914989) (← links)
- (Q4095022) (← links)
- (Q4122059) (← links)
- (Q4148827) (← links)
- (Q4221610) (← links)
- (Q4373552) (← links)
- (Q4375811) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4475085) (← links)
- (Q4501684) (← links)
- (Q4511158) (← links)
- An Equational Axiomatization of Bisimulation over Regular Expressions (Q4542240) (← links)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)
- (Q4728237) (← links)
- (Q4738302) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Observational trees as models for concurrency (Q4946628) (← links)