Reactive Systems, Barbed Semantics, and the Mobile Ambients.
Filippo BonchiFabio GadducciGiacoma Valentina MonrealePublished in: FoSSaCS (2009)
Keyphrases
- reactive systems
- control flow
- model checking
- temporal logic
- formal semantics
- information flow
- mobile phone
- logic programming
- petri net
- mobile applications
- real time systems
- formal methods
- mobile devices
- data flow
- state machines
- real time
- relational databases
- expert systems
- training data
- social networks
- machine learning
- data mining