Component-Based Construction of Concurrent Systems with Active Components.

Kung-Kiu Lau Ioannis Ntalamagkas

Published in: EUROMICRO-SEAA (2009)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
transition systems
model checking
building blocks
formal specification
petri net
database
real time
construction process
databases
neural network
relational databases
service oriented