The following pages link to Roberto Bruni (Q860880):
Displayed 50 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Code obfuscation against abstraction refinement attacks (Q1624593) (← links)
- Models of computation (Q1625203) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- (Q2754142) (← links)
- (Q2766553) (← links)
- Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
- (Q2847777) (← links)
- (Q2847805) (← links)
- Connector algebras for C/E and P/T nets' interactions (Q2848361) (← links)
- Open Multiparty Interaction (Q2848868) (← links)
- Adaptable Transition Systems (Q2848873) (← links)
- (Q2851050) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Bisimulation by Unification* (Q2996148) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Static Detection of Logic Flaws in Service-Oriented Applications (Q3184713) (← links)
- Tiles for Reo (Q3184723) (← links)
- Code Obfuscation Against Abstract Model Checking Attacks (Q3296324) (← links)
- (Q3396631) (← links)
- Connector Algebras, Petri Nets, and BIP (Q3457970) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Dynamic Graph Transformation Systems (Q3541962) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)
- Non-sequential Behaviour of Dynamic Nets (Q3618701) (← links)
- (Q4222912) (← links)
- (Q4222985) (← links)
- (Q4222992) (← links)
- (Q4249180) (← links)
- Symmetric monoidal and cartesian double categories as a semantic framework for tile logic (Q4331080) (← links)
- (Q4421729) (← links)
- (Q4421730) (← links)