Actors without Directors: A Kahnian View of Heterogeneous Systems

DOI10.1007/978-3-642-00602-9_4zbMath1237.68122OpenAlexW2169364172MaRDI QIDQ3624561

Paul Caspi, Stavros Tripakis, Roberto Lublinerman, Albert Benveniste

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_4

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (6)

Modeling for Verification ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ Non-standard semantics of hybrid systems modelers ⋮ The fixed-point theory of strictly causal functions ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ A modular formal semantics for Ptolemy

Uses Software

• Ptolemy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• CPO semantics of timed interactive actor networks
• The semantics and execution of a synchronous block-diagram language.
• Data Types as Lattices

This page was built for publication: Actors without Directors: A Kahnian View of Heterogeneous Systems