Results 181 to 190 of about 228,658 (258)

A Hybrid Denotational Semantics for Hybrid Systems

European Symposium on Programming, 2008
Olivier Bouissou, M. Martel
semanticscholar   +1 more source

The alignment model of indirect communication. [PDF]

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

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

Relating Semantic Models of Compensating CSP

, 2006
Butler, Michael, Ripon, Shamim
core  

Allostructions revisited. [PDF]

J Pragmat, 2020
De Vaere H, Kolkmann J, Belligh T.
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