Results 181 to 190 of about 230,502 (255)

Allostructions revisited. [PDF]

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

Relating Semantic Models of Compensating CSP

, 2006
Butler, Michael, Ripon, Shamim
core  

Compositional relaxed concurrency. [PDF]

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

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules. [PDF]

Front Neuroinform
Linssen C, Babu PN, Eppler JM, Koll L, Rumpe B, Morrison A.   +5 more
europepmc   +1 more source

Experience with an experimental compiler generator based on denotational semantics

SIGPLAN Conferences and Workshops, 1982
James Bodwin, Laurette Bradley, Kohji Kanda, Diane Litle, U. F. Pleban   +4 more
semanticscholar   +1 more source

Denotational Semantics of Shape:

, 1999
C. Barry Jay
openalex   +1 more source