| Nome |
# |
|
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks, file e3835192-0bde-72ef-e053-3705fe0ad821
|
229
|
|
Debits and Credits in Petri Nets and Linear Logic, file e3835193-145b-72ef-e053-3705fe0ad821
|
170
|
|
Verifying Liquidity of Bitcoin Contracts, file e3835195-91ae-72ef-e053-3705fe0ad821
|
163
|
|
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks, file e3835193-109b-72ef-e053-3705fe0ad821
|
155
|
|
Formal Models of Bitcoin Contracts: A Survey, file e3835195-6b79-72ef-e053-3705fe0ad821
|
139
|
|
Choreographies in the wild, file e3835193-14cb-72ef-e053-3705fe0ad821
|
134
|
|
SoK: Unraveling bitcoin smart contracts, file e3835194-b2fc-72ef-e053-3705fe0ad821
|
123
|
|
Contract-Oriented Computing in CO2, file e3835192-5ea9-72ef-e053-3705fe0ad821
|
122
|
|
Contracts as games on event structures, file e3835193-10a1-72ef-e053-3705fe0ad821
|
107
|
|
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks, file e3835192-030c-72ef-e053-3705fe0ad821
|
89
|
|
Honesty by typing, file e3835194-20f1-72ef-e053-3705fe0ad821
|
78
|
|
Bitcoin Covenants Unchained, file e3835197-9470-72ef-e053-3705fe0ad821
|
46
|
|
Verifying liquidity of recursive Bitcoin contracts, file e3835199-4073-72ef-e053-3705fe0ad821
|
25
|
|
A Sound Up-to- n, δ Bisimilarity for PCTL, file 829e881a-7002-4bf1-a87f-52a7977c5902
|
14
|
|
Tree-Based Search for Stochastic Simulation Algorithm, file b5f67bec-ee8b-416d-a24a-9ae495649bac
|
9
|
|
Renegotiation and recursion in bitcoin contracts, file e3835197-9472-72ef-e053-3705fe0ad821
|
8
|
|
Sound approximate and asymptotic probabilistic bisimulations for PCTL, file 3a7eae11-c0cb-4705-a22c-f0b78bdbbaf0
|
6
|
|
RSSA: a Rejection-based Stochastic Simulation Algorithm, file c1c78d1a-636b-474c-b250-11d669328f86
|
6
|
|
A Logic for Contracts, file ce437f79-2d97-4b68-8c5a-9e3b9aaad66c
|
5
|
|
A Formal Model of Algorand Smart Contracts, file e3835198-f1ad-72ef-e053-3705fe0ad821
|
4
|
|
Static Enforcement of Service Deadlines, file 0e1a6892-1d34-4b32-8a02-61f1ba46b180
|
3
|
|
A Calculus of Contracting Processes, file ccde2dcc-29f5-458e-9bd1-999557ce2a7b
|
3
|
|
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays, file e3835192-38fb-72ef-e053-3705fe0ad821
|
3
|
|
Model checking usage policies, file e3835192-5cde-72ef-e053-3705fe0ad821
|
3
|
|
Circular causality in event structures, file e3835192-621d-72ef-e053-3705fe0ad821
|
3
|
|
l: An imperative DSL to stochastically simulate biological systems, file e3835193-1463-72ef-e053-3705fe0ad821
|
3
|
|
Fun with bitcoin smart contracts, file e3835194-e72f-72ef-e053-3705fe0ad821
|
3
|
|
BitML: A Calculus for Bitcoin Smart Contracts, file e3835194-e731-72ef-e053-3705fe0ad821
|
3
|
|
Developing secure bitcoin contracts with BitML, file e3835195-fca4-72ef-e053-3705fe0ad821
|
3
|
|
Contract-Oriented design of distributed applications: A tutorial, file e3835197-8784-72ef-e053-3705fe0ad821
|
3
|
|
Computationally sound Bitcoin tokens, file e3835198-c2e2-72ef-e053-3705fe0ad821
|
3
|
|
A Sound Up-to- n, δ Bisimilarity for PCTL, file 09888aa3-8e16-44e7-849f-cab678ad5816
|
2
|
|
Model checking usage policies, file e3835192-2f2e-72ef-e053-3705fe0ad821
|
2
|
|
An imperative language of self-modifying graphs for biological systems, file e3835192-9028-72ef-e053-3705fe0ad821
|
2
|
|
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability, file e3835193-1466-72ef-e053-3705fe0ad821
|
2
|
|
Compliance in behavioural contracts: A brief survey, file e3835193-14c6-72ef-e053-3705fe0ad821
|
2
|
|
Vicious circles in contracts and in logic, file e3835193-4140-72ef-e053-3705fe0ad821
|
2
|
|
Verifiable abstractions for contract-oriented systems, file e3835193-91fe-72ef-e053-3705fe0ad821
|
2
|
|
Efficient stochastic simulation of biochemical reactions with noise and delays, file e3835194-350b-72ef-e053-3705fe0ad821
|
2
|
|
Efficient finite-difference method for computing sensitivities of biochemical reactions, file e3835194-eca3-72ef-e053-3705fe0ad821
|
2
|
|
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays, file e3835195-91ac-72ef-e053-3705fe0ad821
|
2
|
|
On the Decidability of Honesty and of Its Variants, file e3835195-92c3-72ef-e053-3705fe0ad821
|
2
|
|
A Formal Model of Bitcoin Transactions, file e3835197-81a9-72ef-e053-3705fe0ad821
|
2
|
|
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks, file e3835198-a037-72ef-e053-3705fe0ad821
|
2
|
|
ν-types for Effects and Freshness Analysis, file f743b2a1-e066-48d8-9196-8da361f264a1
|
2
|
|
Renegotiation and recursion in bitcoin contracts, file 7a07f8f8-e2ac-41e2-8b5f-ff0570a80efd
|
1
|
|
Constant-deposit multiparty lotteries on bitcoin, file e3835194-1643-72ef-e053-3705fe0ad821
|
1
|
|
A general syntax for nonrecursive higher inductive types, file e3835197-d91f-72ef-e053-3705fe0ad821
|
1
|
| Totale |
1.696 |