The following pages link to Andrea Bracciali (Q959789):
Displaying 18 items.
- Synapses as stochastic concurrent systems (Q959792) (← links)
- I. C. E. net and lost power estimation during free run-up and coast-down (Q1384966) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Incentive compatible and anti-compounding of wealth in proof-of-stake (Q2023263) (← links)
- A formal model of Algorand smart contracts (Q2145369) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- (Q2849570) (← links)
- Bisimulation by Unification* (Q2996148) (← links)
- (Q3046793) (← links)
- Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods (Q3460868) (← links)
- (Q4251107) (← links)
- (Q4738175) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Deducing Interactions in Partially Unspecified Biological Systems (Q5429371) (← links)
- Computational Logic in Multi-Agent Systems (Q5464692) (← links)
- Global Computing (Q5464831) (← links)
- Global Computing (Q5464837) (← links)
