Results 191 to 199 of about 481 (199)
Some of the next articles are maybe not open access.

Measuring Additive Consistency of Linguistic Preference Relations in a Personalized-Individual-Semantics Context: A Systematic Investigation With Axiomatic Design

IEEE Transactions on Systems, Man, and Cybernetics: Systems
Yucheng Dong   +2 more
exaly  

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

2018
Peter Sewell   +2 more
exaly  

An Axiomatic Semantics of Concurrent Programming Languages

1985
openaire   +1 more source

Axiomatic computational model

ACM SIGPLAN Notices, 2005
exaly  

AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

International Journal of Parallel, Emergent and Distributed Systems, 2000
exaly  

A Semantics for a Failed Axiomatization of K. [PDF]

open access: possible
Hitoshi Omori, Daniel Skurt
openaire  

Handling expressions with side effects within an axiomatic semantics framework

exaly  

Axiomatic definability of programming language semantics.

Grazyna Mirkowska, Andrzej Salwicki
openaire  

An Axiomatic Approach to Semantics of Disjunctive Programs.

Jürgen Dix, Martin Müller 0001
openaire  
16. peace & justice
operational semantics
verification
specification
semantics in the theory of computing
semantics
axiomatization
theoretical computer science
c-light
previous   18  19  20  

Home - About - Disclaimer - Privacy