1,721,006 research outputs found
Space-Aware Ambients and Processes
No full textResource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation
Liquidity Analysis in Resource-Aware Programming
Full text linkLiquidity is a liveness property of programs managing resources that pinpoints those programs not freezing any resource forever. We consider a simple stateful language whose resources are assets (digital currencies, non fungible tokens, etc.). Then we define a type system that tracks in a symbolic way the input- output behaviour of functions with respect to assets. These types and their composition, which define types of computations, allow us to design two algorithms for liquidity that have different precisions and costs. We also demonstrate the correctness of the algorithms
The Stipula Prototype
No full textStipula is a domain specific language that may assist legal practitioners in programming legal contracts through specific patterns. In this repository, we uploaded the prototype and some examples.
The prototype is a Java application. The development has taken three months and ~3000 lines of Java code. We have committed to the ANTLR tool
A Calculus of Mobile Resources
No full textWe introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence be- tween barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory to prove one of its characteristic properties
Information Flow Security for Boxed Ambients
No full texthttp://www.elsevier.com/gej-ng/31/29/23/120/51/show/Products/notes/index.htt#00
An overview of Boxed Ambients
No full texthttp://www.elsevier.com/gej-ng/31/29/23/119/25/show/Products/notes/index.htt#00
Le forme del falso negli smart contract
Full text linkLa categoria di falso sembra aver acquisito oggi una speciale centralità: le fake news sembrano incalzarci, le versioni della Storia sembrano cambiare, perfino le verità giudiziarie diventano discutibili. Cosa è successo alla categoria di verità? Sono cambiate le idee di evidenza, certezza, fatto? O sono le istituzioni che garantivano l’affidabilità della verità ad essere in crisi
Subtyping and Matching for Mobile Objects
Full text linkIn [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli and Gordon's Mobile Ambients. Here, we refine our previous work and define a new calculus which is based on Remote Procedure Call as the underlying protocol for method invocation, and a different technique to type method bodies. The new type system is equipped with both a subtyping and a matching relation. Th
- …
