Results 141 to 150 of about 11,543 (183)

A Denotational Semantics for Handel-C [PDF]

, 2007
Andrew Butterfield
openalex   +1 more source

Methods of translation of national-cultural information in the semantics of German phraseological units with the component “Phenning” for denotation of autostereotypes

, 2021
Iryna Orel
openalex   +2 more sources

Data-Trace Types for Distributed Stream Processing Systems. [PDF]

Proc ACM SIGPLAN Conf Program Lang Des Implement, 2019
Mamouras K, Stanford C, Alur R, Ives ZG, Tannen V.   +4 more
europepmc   +1 more source

Compositional relaxed concurrency. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
Batty M.
europepmc   +1 more source

The alignment model of indirect communication. [PDF]

PLoS One
Achimova A, Franke M, Butz MV.
europepmc   +1 more source

Allostructions revisited. [PDF]

J Pragmat, 2020
De Vaere H, Kolkmann J, Belligh T.
europepmc   +1 more source