A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.
Jean-Pierre TalpinDavid NowakPublished in: FSTTCS (1998)
Keyphrases
- reactive systems
- higher order
- dynamic aspects
- control flow
- model checking
- temporal aspects
- process model
- information flow
- temporal logic
- high order
- multi agent systems
- hardware implementation
- pairwise
- information security
- modeling language
- formal methods
- formal semantics
- real time systems
- error rate
- markov random field