Results 21 to 30 of about 106,571 (319)
Enhanced Operational Semantics in Systems Biology [PDF]
, 2003 We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological ...
A. Dovier +11 more
core +1 more source
Operational Semantics of Annotated Reflex Programs
Моделирование и анализ информационных систем, 2019 Reflex is a process-oriented language that provides a design of easy-to-maintain control software for programmable logic controllers. The language has been successfully used in a several reliability critical control systems, e. g.
Igor S. Anureev
doaj +1 more source
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
Semantics for Algebraic Operations
Electronic Notes in Theoretical Computer Science, 2001 AbstractGiven a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form αx:(Tx)n → Tx provides a definitive semantics for algebraic operations added to the computational λ-calculus.
Plotkin, Gordon, Power, John
openaire +2 more sources
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Johansen, Christian, Owe, Olaf
openaire +5 more sources
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
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +1 more source
Operational semantics of proto
Science of Computer Programming, 2013 The Proto spatial computing language in Beal and Bachrach (2006) [1] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is challenging its coherence across different platforms and ...
VIROLI, MIRKO, J. Beal, K. Usbeck
openaire +2 more sources
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
Operational Semantics for MSC'96 [PDF]
Computer Networks, 1999 Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of the language is called MSC'96. Currently, research is performed on the extension of the formal semantics towards a semantics for MSC'96.
Mauw, Sjouke, Reniers, M. A.
openaire +4 more sources