Results 41 to 50 of about 100,374 (308)
Smart Choices and the Selection Monad [PDF]
Logical Methods in Computer Science, 2023 Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by ...
Martin Abadi, Gordon Plotkin
doaj +1 more source
Applied Sciences, 2023 Aviation significantly contributes to anthropogenic radiative forcing with both CO2 and non-CO2 emissions. In contrast to technical advancements to mitigate the climate impact, operational measures can benefit from short implementation times and thus are
Zarah Lea Zengerling +14 more
doaj +1 more source
A process algebra for synchronous concurrent constraint programming [PDF]
, 1996 Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity.
Brim, L +3 more
core +4 more sources
Operational Semantics of Security Protocols [PDF]
, 2005 Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the ...
Sjouke Mauw, Cas Cremers
openaire +3 more sources
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj +1 more source
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
IEEE Access, 2019 Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Yanhong Huang +5 more
doaj +1 more source
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
Operational Semantics of Process Monitors
, 2017 CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe +9 more
core +1 more source
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice [PDF]
, 2001 This paper provides a case-study in the field of metric semantics for probabilistic programming. Both an operational and a denotational semantics are presented for an abstract process language L_pr, which features action refinement and probabilistic ...
Bakker, J.W. de +2 more
core +4 more sources
An operational semantics for JavaScript [PDF]
, 2008 We de ne a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with di erent implementations and browsers.
Maffeis, S, Mitchell, JC, Taly, A
openaire +5 more sources