Results 81 to 90 of about 188,404 (207)
The Problem of Programming Language Concurrency Semantics [PDF]
, 2015 Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code.
Kyndylan Nienhuis +9 more
core +1 more source
Regulating Data Exchange in Service Oriented Applications [PDF]
, 2007 We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each ...
R. Pugliese +7 more
core +1 more source
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]
Logical Methods in Computer ScienceLogical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj +1 more source
Operational and denotational semantics of prolog
The Journal of Logic Programming, 1987 A Vienna Definition Language operational semantics of PROLOG, which includes the cut, the database, and the extra-logical operations, is presented. This semantics serves as the basis for deriving a denotational-continuation-style semantics of PROLOG through a systematic transformation of the operational semantics by a method described by Berry.
Bijan Arbab, Daniel M. Berry
openaire +1 more source
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 ...
S. Mauw (Sjouke), C.J.F. Cremers (Cas)
openaire +3 more sources
Process versus Unfolding Semantics for Place/Transition Petri Nets
, 1996 In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975) +14 more
core +1 more source
Two Semantics of Trust Management Language with Negation
Journal of Telecommunications and Information Technology, 2013 The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems.
Anna Felkner
doaj +1 more source
On the operational semantics of nondeterminism and divergence
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Hakan Erdogmus +2 more
openaire +2 more sources
Multi-Agent Systems with Information Sharing: Strategies and Model Checking
Applied SciencesWe introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
Operational methods in semantics
CoRRThe focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses ...
openaire +2 more sources