The following pages link to Paolo Baldan (Q338612):
Displaying 50 items.
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
- Automata for true concurrency properties (Q1652979) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Fixpoint theory -- upside down (Q2233395) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- (Q2722031) (← links)
- Hereditary History-Preserving Bisimilarity: Logics and Automata (Q2789065) (← links)
- A Causal View on Non-Interference* (Q2803575) (← links)
- (Q2847775) (← links)
- (Q2848117) (← links)
- Comparing Metabolic Pathways through Reactions and Potential Fluxes (Q2849439) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- Behavioral Metrics via Functor Lifting (Q2978531) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Bisimulation by Unification* (Q2996148) (← links)
- Adhesivity Is Not Enough: Local Church-Rosser Revisited (Q3088028) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Petri Nets for Modelling and Analysing Trophic Networks (Q3174735) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- Composition and Decomposition of DPO Transformations with Borrowed Context (Q3541957) (← links)
- Graph Transactions as Processes (Q3541960) (← links)
- A Logic for True Concurrency (Q3584927) (← links)
- A Temporal Graph Logic for Verification of Graph Transformation Systems (Q3591071) (← links)