首页 正文

Towards Measurable Types for Dynamical Process Modeling Languages

{{output}}
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can be given formal semantics in terms of an operator algebra. However such process languages ma... ...