A Non-Standard Semantics for Kahn Networks in Continuous Time

DOI10.4230/LIPIcs.CSL.2011.35zbMath1247.68182arXiv1108.5062MaRDI QIDQ2915672

Samuel Mimram, Romain Beauxis

Publication date: 18 September 2012

Full work available at URL: https://arxiv.org/abs/1108.5062

zbMATH Keywords

nonstandard analysisfixpoint categoryinternal cpoKahn network

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous lattices and posets, applications (06B35) Nonstandard models in mathematics (03H05) Categories of machines, automata (18B20)

Related Items (2)

A Nonstandard Functional Programming Language ⋮ Unnamed Item

This page was built for publication: A Non-Standard Semantics for Kahn Networks in Continuous Time