Papers on Semantics
Semantics of Ptolemy II
The following papers describe the background semantics underlying the core infrastructure of Ptolemy II.- The Tagged Signal Model
- Timed Concurrent Systems using a CPO formulation
- Timed Concurrent Systems using a Generalized Ultrametric formulation
- Software Realization (see the Actor Package chapter)
Semantics of Ptolemy II Domains
The following papers describe the semantics of particular Ptolemy II domain, each of which implements a concurrent model of computation.- Continuous Time and Hybrid Systems
- Synchronous Reactive
- Timed Multitasking
- Multidimensional Synchronous Dataflow
- Discrete Time
- Discrete Events:
- Communicating Sequential Processes
- Process Networks
- Synchronous Dataflow
- Software Realizations