Login / Signup
The Real-Time Process Algebra (RTPA).
Yingxu Wang
Published in:
Ann. Softw. Eng. (2002)
Keyphrases
</>
behavioral models
code generator
dynamic behaviors
architectural models
process model
hierarchical structures
automatically generated
conceptual model
real time process algebra rtpa
database
decision making
knowledge base
object oriented databases
abstract data types