The paradigm of event-based concurrency cuts across programming languages and application frameworks.
This has resulted in the adoption of a combination of thread and event-based concurrency in modern software such as smartphone applications.
The SystemC library, used in this works, extends the standard C language with concurrency, timed events, data types and classes, which makes it suitable for system-level designs.
Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory.
We'd want to do it assuming an object-system and concurrency mechanisms -- no event loops, please.
A design space (e.g.: for networked and concurrent systems) is defined as a set of n design dimensions representing specific design concerns in such a domain (e.g.: concurrency strategy and event dispatching model).
These multiprocessors provide the computational concurrency required to handle concurrent real-world events in real time.
The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures.
We discuss advances in the core concurrency analysis techniques for event-driven applications with focus on happens-before analysis, race detection, and model checking.
In this chapter, we present the fundamental programming and semantic concepts in the combined concurrency model of threads and events.
This paper studies the semantics of hierarchical finite state machines (FMS's) that are composed using various concurrency models, particularly dataflow, discrete-events, and synchronous/reactive modeling.
