On the Specification and Verification of Performance Properties for a Timed Process Algebra.
Xiao Jun ChenFlavio CorradiniPublished in: AMAST (1997)
Keyphrases
- process algebra
- asynchronous circuits
- concurrent systems
- model checking
- formal methods
- petri net
- formal specification
- temporal logic
- formal verification
- grid workflow
- protocol specification
- concurrent programs
- distributed systems
- colored petri nets
- response time
- general purpose
- object oriented
- relational databases
- high level
- information systems