CPO semantics of timed interactive actor networks

DOI10.1016/j.tcs.2008.08.044zbMath1157.68046OpenAlexW2028133921MaRDI QIDQ959824

B. E. Eshmatov

Publication date: 12 December 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.08.044

zbMATH Keywords

posetsinteractionsemanticsagentsprocess networkstimed systemsdataflowactorsCPOsdiscrete events

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Modeling for Verification, Verifying hierarchical Ptolemy II discrete-event models using real-time maude, The fixed-point theory of strictly causal functions, Actors without Directors: A Kahnian View of Heterogeneous Systems, A modular formal semantics for Ptolemy

Uses Software

• TLA
• Reo
• Ptolemy
• LUSTRE
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
• An extensional treatment of lazy data flow deadlock
• Defining liveness
• A timed model for communicating sequential processes
• Interactive foundations of computing
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• A calculus of communicating systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• Denotational semantics in the cpo and metric approach
• Generalized ultrametric spaces. I
• Strictly causal functions have a unique fixed point
• Refinement of time
• Abstract behavior types: a foundation model for components and their composition
• A behavioral type system and its application in Ptolemy II
• The Theory of Timed I/O Automata
• Hybrid dynamical systems theory and the Signal language
• Concurrent Semantics Without the Notions of State or State Transitions
• A Powerdomain Construction
• Communicating sequential processes
• A coinductive calculus of streams
• Evolving Algebras 1993: Lipari Guide
• Fixed point and attractor theorems for ultrametric spaces
• Hybrid Systems: Computation and Control
• Modeling Timed Concurrent Systems
• The algebra of stream processing functions