The following pages link to Massimo Bartoletti (Q272302):
Displaying 37 items.
- Contracts as games on event structures (Q272306) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- A formal model of Algorand smart contracts (Q2145369) (← links)
- SoK: lending pools in decentralized finance (Q2670876) (← links)
- Compliance and Subtyping in Timed Session Types (Q2827456) (← links)
- On the Realizability of Contracts in Dishonest Systems (Q2902531) (← links)
- Modelling and Verifying Contract-Oriented Systems in Maude (Q2945134) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Lending Petri Nets and Contracts (Q2948238) (← links)
- Honesty by Typing (Q2974791) (← links)
- Usage Automata (Q3184712) (← links)
- Secure Service Orchestration (Q3184791) (← links)
- A Semantic Deconstruction of Session Types (Q3190132) (← links)
- ν-Types for Effects and Freshness Analysis (Q3393400) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- (Q4596804) (← links)
- Contract-Oriented Computing in CO2 (Q4621158) (← links)
- (Q4963914) (← links)
- Security Issues in Service Composition (Q4989483) (← links)
- (Q4994119) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- (Q5028430) (← links)
- (Q5028478) (← links)
- A theory of Automated Market Makers in DeFi (Q5060185) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)
- (Q5216081) (← links)
- (Q5216154) (← links)
- Circular Causality in Event Structures (Q5259264) (← links)
- A Theory of Agreements and Protection (Q5326760) (← links)
- Theoretical Computer Science (Q5395065) (← links)
- Foundations of Software Science and Computational Structures (Q5705889) (← links)
- Model checking usage policies (Q5740636) (← links)
- Types and Effects for Resource Usage Analysis (Q5758038) (← links)
- Theoretical Computer Science (Q5897372) (← links)
- Maximizing extractable value from automated market makers (Q6045186) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
