| 
|
QuoteRef: benvA9_1991
topics >
all references >
ThesaHelp:
references a-b
Group:
parallel processing
Topic:
Petri net
Topic:
formal methods and languages
Topic:
abstraction in programming
Topic:
state machine
Topic:
identifying program modules
Topic:
hierarchical structures
Topic:
understanding systems
Topic:
communicating sequential processes
Topic:
parallel programming languages
Topic:
synchronous communication through a channel
Reference
Benveniste, A., Berry, G., "The synchronous approach to reactive and real-time systems", Proceedings of the IEEE, 79, 9, September 1991, pp. 1270-1282. Google
1273 ;;Quote: real-time systems by connecting programs via the operating system, using finite-state machine or Petri nets, using concurrent programming languages
1274 ;;Quote: finite automata do not support hierarchical design or concurrency; large, real-time systems are impossible to understand
1274 ;;Quote: concurrent programming languages are asynchronous and nondeterministic; timing and event order is unpredictable
1274 ;;Quote: ideal reactive systems produce outputs simultaneously with inputs; allows decomposition without affecting behavior, timing, or interleaving
ThesaHelp: references a-b (396 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: Petri net (44 items)
Topic: formal methods and languages (53 items)
Topic: abstraction in programming (67 items)
Topic: state machine (67 items)
Topic: identifying program modules (26 items)
Topic: hierarchical structures (43 items)
Topic: understanding systems (48 items)
Topic: communicating sequential processes (33 items)
Topic: parallel programming languages (14 items)
Topic: synchronous communication through a channel (28 items)