Verification of timed Erlang/OTP components using the process algebra mucrl.
Qiang GuoJohn DerrickPublished in: Erlang Workshop (2007)
Keyphrases
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- petri net
- formal methods
- formal specification
- grid workflow
- concurrent programs
- temporal logic
- distributed systems
- web services composition
- software components
- software engineering
- protocol specification
- colored petri nets
- service composition
- web service composition
- artificial intelligence
- building blocks
- knowledge based systems
- knowledge representation
- relational databases