CPO semantics of timed interactive actor networks
type: Item
instance of: scholarly article
title: CPO semantics of timed interactive actor networks
zbMATH Open document ID: 1157.68046
author: B. E. Eshmatov
published in: Theoretical Computer Science
publication date: 2008-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5382285
zbMATH Keywords: semantics
zbMATH Keywords: CPOs
zbMATH Keywords: posets
zbMATH Keywords: interaction
zbMATH Keywords: actors
zbMATH Keywords: agents
zbMATH Keywords: timed systems
zbMATH Keywords: process networks
zbMATH Keywords: discrete events
zbMATH Keywords: dataflow
describes a project that uses: TLA
describes a project that uses: LUSTRE
describes a project that uses: Esterel
describes a project that uses: Ptolemy
describes a project that uses: Reo
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.08.044
OpenAlex ID: W2028133921
cites work: Q4885871
cites work: Defining liveness
cites work: Abstract behavior types: a foundation model for components and their composition
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Denotational semantics in the cpo and metric approach
cites work: Hybrid dynamical systems theory and the Signal language
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Refinement of time
cites work: The algebra of stream processing functions
cites work: Q4692885
cites work: Denotational models for programming languages: Applications of Banach's fixed point theorem
cites work: Q4076730
cites work: Q4385542
cites work: Q2737800
cites work: Evolving Algebras 1993: Lipari Guide
cites work: Communicating sequential processes
cites work: Q4054644
cites work: The Theory of Timed I/O Automata
cites work: Concurrent Semantics Without the Notions of State or State Transitions
cites work: A behavioral type system and its application in Ptolemy II
cites work: Hybrid Systems: Computation and Control
cites work: Modeling Timed Concurrent Systems
cites work: Q3126969
cites work: An extensional treatment of lazy data flow deadlock
cites work: A calculus of communicating systems
cites work: Strictly causal functions have a unique fixed point
cites work: A Powerdomain Construction
cites work: Generalized ultrametric spaces. I
cites work: Fixed point and attractor theorems for ultrametric spaces
cites work: Q3787461
cites work: A timed model for communicating sequential processes
cites work: A coinductive calculus of streams
cites work: Q3922134
cites work: Q4243759
cites work: Interactive foundations of computing
cites work: Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
cites work: Q3141916
DOI: 10.1016/J.TCS.2008.08.044
description: scientific article; zbMATH DE number 5382285