Results 171 to 180 of about 188,404 (207)

AI-driven adaptive adversaries and the erosion of cryptographic trust in public key systems. [PDF]

J Anal Sci Technol
Radanliev P.
europepmc   +1 more source

Graphical Operational Semantics.

, 2000
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram ...
CORRADINI, ANDREA, Heckel R, MONTANARI, UGO GIOVANNI ERASMO   +2 more
openaire   +2 more sources

Operational Semantics for Coordination in Paradigm

, 2002
Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoningab out system ...
Groenewegen, L.P.J., Vink, de, E.P.
openaire   +2 more sources

Category theory for operational semantics

Theoretical Computer Science, 2004
We use the concept of a distributive law of a monad over a copointed endofunctor to define and develop a reformulation and mild generalisation of Turi and Plotkin's notion of an abstract operational rule.
Marina Lenisa, John Power
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Operational semantics with semicommutations

Journal of Logical and Algebraic Methods in Programming, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hendrik Maarand, Tarmo Uustalu
openaire   +1 more source

Enhanced operational semantics

ACM Computing Surveys, 1996
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility ...
DEGANO, PIERPAOLO, Priami C.
openaire   +1 more source

An operational semantics for Scheme

Journal of Functional Programming, 2008
Abstract This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised 5 Report on Scheme specification in four ways. First, it covers a larger part of the language, specifically
Jacob Matthews, Robert Bruce Findler
openaire   +1 more source

An operational semantics for ZCCS

Proceedings First IEEE International Conference on Formal Engineering Methods, 2002
G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from integer, Boolean and string constants. Z is a widely used formal specification language in which sets,
Andy Galloway, Bill Stoddart
openaire   +1 more source

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

The Journal of Logic and Algebraic Programming, 2012
Complex software systems typically involve features like time, concurrency and probability, with probabilistic computations playing an increasing role. However, it is currently challenging to formalize languages incorporating all those features. Recently,
Huibiao Zhu, Jonathan P Bowen, Shengchao Qin   +2 more
exaly   +2 more sources

An operational semantics for occam

International Journal of Parallel Programming, 1989
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources