A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems.
Jinho OnSujeong WooMoonkun LeePublished in: COMPSAC Workshops (2012)
Keyphrases
- process algebra
- real time systems
- distributed systems
- concurrent systems
- state machine
- fault tolerant
- model checking
- state machines
- asynchronous circuits
- finite state machines
- concurrent programs
- distributed environment
- formal methods
- load balancing
- grid workflow
- formal specification
- mobile agents
- real time embedded
- object oriented programming language
- reactive systems
- temporal logic
- database
- artificial intelligence
- hidden markov models
- protocol specification