Reactive EFSMs - Reactive Promela/RSPIN
No abstract available.
Related papers
- Functional Reactive Programming (Abstract) ESOP 1999
- Synchronous Programming of Reactive Systems CAV 1998
- Realizability and Synthesis of Reactive Modules CAV 1994
- Analyzing Cryptographic Protocols in a Reactive Framework VMCAI 2002
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- ObjChart: Tangible Specification of Reactive Object Behavior ECOOP 1993
- Higher-Order Reactive Programming with Incremental Lists ECOOP 2013
- Reactivity of Cooperative Systems - Application to ReactiveML SAS 2014