The following pages link to Paolo Baldan (Q338612):
Displayed 45 items.
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- (Q3839067) (← links)
- (Q4222746) (← links)
- (Q4260701) (← links)
- (Q4438762) (← links)
- (Q4502811) (← links)
- (Q4536619) (← links)
- (Q4553276) (← links)
- Compositional semantics for open Petri nets based on deterministic processes (Q4657750) (← links)
- (Q4683862) (← links)
- (Q4707757) (← links)
- (Q4738295) (← links)
- (Q4738296) (← links)
- (Q4791846) (← links)
- (Q4791852) (← links)
- (Q4813402) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (Q4931306) (← links)
- Model Checking a Logic for True Concurrency (Q5034222) (← links)
- (Q5089290) (← links)
- (Q5144682) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Towards Trace Metrics via Functor Lifting (Q5275342) (← links)
- Graph Transformations (Q5292596) (← links)
- A rewriting calculus for cyclic higher-order term graphs (Q5308094) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311499) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)
- Deducing Interactions in Partially Unspecified Biological Systems (Q5429371) (← links)
- Global Computing (Q5464831) (← links)
- Global Computing (Q5464838) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
- Formal Methods in Software and Systems Modeling (Q5710406) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
- Concurrent Rewriting for Graphs with Equivalences (Q5756599) (← links)
- (Q5875664) (← links)
- Foundations of Software Science and Computation Structures (Q5899084) (← links)
- Foundations of Software Science and Computation Structures (Q5899089) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900820) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900821) (← links)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901470) (← links)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901534) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Un)Decidability for History Preserving True Concurrent Logics. (Q6168424) (← links)