Useful Concurrent Semantics

• Analog computers (ODEs)

• Spatial/temporal models (PDEs)

• Discrete time (difference equations)

• Discrete-event systems (DE)

• Synchronous-reactive systems (SR)

• Sequential processes with rendezvous (CSP)

• Process networks (Kahn)

• Dataflow (Dennis)

Block diagrams often provide a nice syntax for concurrent semantics

Source: Prof. Edward Lee

Previous slide

Next slide

Back to first slide

View graphic version