A Bounded True Concurrency Process Algebra for Performance Evaluation.
M. Carmen RuizDiego CazorlaFernando CuarteroJuan José PardoHermenegilda MaciàPublished in: FORTE Workshops (2004)
Keyphrases
- process algebra
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- communication protocols
- web services composition
- concurrent programs
- database systems
- concurrency control
- temporal logic
- grid workflow
- petri net
- programming environment
- fine grained
- data model
- knowledge base
- artificial intelligence
- real time