Results 41 to 50 of about 106,571 (319)
Probabilistic Operational Semantics for the Lambda Calculus
, 2011 Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values.
Lago, Ugo Dal, Zorzi, Margherita
core +3 more sources
, 2011 Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco
core +1 more source
Lightweight Time Modeling in Timed Creol [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic.
Olaf Owe +3 more
doaj +1 more source
Remote Sensing, 2022 The Nadir Mapper (NM) and Nadir Profiler (NP) within the Ozone Mapping and Profiler Suites (OMPS) are ultraviolet spectrometers to measure Earth radiance and Solar irradiance spectra from 300–380 nm and 250–310 nm, respectively.
Banghua Yan +15 more
doaj +1 more source
piHyFlow Operational Semantics
, 2023 Simulation models have been described using different perspectives, or worldviews. In the process interaction world view (PI), every entity is modeled by a sequence of actions describing its life cycle, offering a comprehensive model that groups the events involving each entity.
openaire +2 more sources
Towards a mathematical operational semantics [PDF]
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002 We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial ...
Plotkin, Gordon, Turi, Daniele
openaire +2 more sources
Enriched Lawvere Theories for Operational Semantics
, 2019 Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity ...
Baez, John C., Williams, Christian
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
From algebra to operational semantics [PDF]
Information Processing Letters, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He, J, Hoare, C
openaire +3 more sources