Actors without Directors: A Kahnian View of Heterogeneous Systems

DOI10.1007/978-3-642-00602-9_4MaRDI QIDQ3624561zbMATH OpenOpenAlexFDO

Authors Paul Caspi, Roberto Lublinerman, Stavros Tripakis, 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

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

Recommendations

• A modular formal semantics for Ptolemy
• A non-standard semantics for Kahn networks in continuous time
• scientific article; zbMATH DE number 1696902
• A generalized Kahn Principle for abstract asynchronous networks
• scientific article; zbMATH DE number 4119609

Cites work

• CPO semantics of timed interactive actor networks
• Data Types as Lattices
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1956639 (Why is no real title available?)
• The semantics and execution of a synchronous block-diagram language.

Cited in

(7)

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

Describes a project that uses

Uses Software

• Ptolemy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624561)